Computer Science Assistant

Gregory Gelfond 408-***-****

********@***.***

Arizona State University 4520 22nd. St.

Lubbock, TX 79407

Homepage: http://www.public.asu.edu/~ggelfond

Education

Doctor of Philosophy in Computer Science, Arizona State University, USA.

2009 Present

In Progress

Representing and Reasoning About Dynamic Multi-Agent Domains: An Action Language

title

Approach

Master of Science in Computer Science, Texas Tech University, USA.

2007

Masters Thesis

A Declarative Framework for Modeling Multi-Agent Systems

title

Presented a general framework for reasoning about cooperative multi-agent systems.

description

Bachelor of Science in Computer Science, Minor in Mathematics, Texas Tech Uni-

2003

versity, USA.

Academic Background

Arti cial Intelligence, Theory of Computation, Programming Language Design, Data Struc-

Computer Science

tures, Analysis of Algorithms, . . .

Calculus, Linear Algebra, Probability and Statistics, Di erential Equations, . . .

Mathematics

Research Interests

Knowledge Representation

Answer Set Programming

Multi-Agent Systems

Programming Languages and Methodology

Application of the above towards the development of e cient, modular, and secure

software systems

Organizations and A liations

Member of TAG (Texas Action Group)

Member of ACM (Association for Computing Machinery)

Member of UPE (Upsilon Pi Epsilon)

Academic and Professional Service

Served as a reviewer for ICLP 2012 (International Conference on Logic Programming

2012)

Served as a reviewer for PADL 2012 (Practical Aspects of Declarative Languages 2012)

Served as a reviewer for ICLP 2011 (International Conference on Logic Programming)

Served as a reviewer for LPNMR 2011 (International Conference on Logic Programming

and Nonmonotonic Reasoning)

1/3

Scholarships and Awards

I was elected by the Computer Science faculty to receive a University Graduate Fellowship

from ASU for my work as a teaching assistant (Summer 2011)

Experience

Industry Experience

Software Developer, Trust and Safety Group, eBay Inc., San Jose, CA.

2007 2009

- Worked on a number of projects improving various Java-based implementations of statistical

models used in fraudulent item detection.

- Served as project lead working with a third party to implement a natural language understanding

system for use in identifying various non-trivial policy violations. Project involved extensive use of

both Java and C++.

- Reimplemented and extended an internal system for analyzing site tra c patterns for suspicious

activity. Project involved extensive use of both Perl and Python.

- Worked with a number of projects as a generalist/troubleshooter.

Research

Research Assistant, School of Computing, Informatics, and Decision Systems Engineering,

2009 Spring 2012

Arizona State University.

- Working on the development of an action language for reasoning about the e ects of actions in

dynamic multi-agent domains.

- As part of the ongoing work on a multi-agent action language, working on extending various

theoretical frameworks and bridging the work done by the reasoning about actions and dynamic

epistemic logic communities.

- Worked on a grant with SCIL/IARPA on natural language understanding with a speci c focus on

extracting information regarding various social structures from English and Russian text. Project

utilized a polyglot programming approach combining Java and A-Prolog.

Research Assistant, Department of Computer Science, Texas Tech University.

2004 2007

- Developed a declarative framework for the development of cooperative multi-agent systems.

- Developed a declarative speci cation using action languages of a mock electrical power system

for the International Space Station as part of a grant from the United Space Alliance.

- Developed a temporal query answering system using a polyglot approach comprised of Prolog,

Python, and A-Prolog.

- Developed a C-based di erence constraint solver.

Teaching

Instructor, Department of Computer Science, Texas Tech University.

Fall 2012 Current

- Taught the course CS1411 (Principles of Programming I) to undergraduate Computer Science

students.

- Topics covered include: programming principles, formal grammars, algorithm design and analysis,

and methods of proof, using the Python programming language as a vehicle.

Teaching Assistant, School of Computing, Informatics, and Decision Systems Engineering,

2009 Spring 2012

Arizona State University.

- Graded assignments for the following courses: Principles of Programming with Java, Arti cial

Intelligence, and Natural Language Processing and Query Answering.

- Conducted labs for the course covering a variety of topics including: debugging, program design

(utilizing imperative and declarative programming paradigms), and use of the Java libraries.

- Lectured on a number of topics including: programming principles, knowledge representation,

probabilistic reasoning, and declarative programming.

Teaching Assistant, Department of Computer Science, Texas Tech University.

2004 2007

- Graded assignments for the course: Object-Oriented Programming in C++.

- Conducted labs for the course covering a variety of topics including: debugging, program design,

and use of the STL.

- Lectured on a number of topics including: programming principles, theory of computation, and

knowledge representation.

2/3

Publications

Chitta Baral, Gregory Gelfond, Michael Gelfond, and Richard Scherl. Textual Inference by

Combining Multiple Logic Programming Paradigms. In AAAI 05 Workshop on Inference for

Textual Question Answering, AAAI 05, 2005.

Gregory Gelfond. A Declarative Framework for Modeling Multi-Agent Systems. Master s thesis,

Texas Tech University, 2007.

Gregory Gelfond and Richard Watson. Modeling Cooperative Multi-Agent Systems. In Proceedings

of the 4th International Workshop on Answer Set Programming, ASP 07, 2007.

Chitta Baral, Gregory Gelfond, Tran Cao Son, and Enrico Pontelli. Logic Programming for Finding

Models in the Logics of Knowledge and its Applications: A Case Study. Theory and Practice of

Logic Programming, 10(4-6):675 690, 2010.

Chitta Baral, Gregory Gelfond, Tran Cao Son, and Enrico Pontelli. Using Answer Set Programming

to Model Multi-Agent Scenarios Involving Agents Knowledge About Other s Knowledge. In

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems,

AAMAS 10, pages 259 266, 2010.

Chitta Baral and Gregory Gelfond. On Representing Actions in Multi-Agent Domains. In

Marcello Balduccini and Tran Cao Son, editors, Proceedings of the Symposium on Constructive

Mathematics, pages 213 232. Springer, 2011.

Chitta Baral, Gregory Gelfond, Tran Cao Son, and Enrico Pontelli. An Action Language for

Reasoning about Beliefs in Multi-Agent Domains. In Proceedings of the 14th International

Workshop on Non-Monotonic Reasoning, 2012.

Enrico Pontelli, Tran Son, Chitta Baral, and Gregory Gelfond. Answer Set Programming and

Planning with Knowledge and World-Altering Actions in Multiple Agent Domains. In Esra Erdem,

Joohyung Lee, Yuliya Lierler, and David Pearce, editors, Correct Reasoning, volume 7265 of Lecture

Notes in Computer Science, pages 509 526. Springer Berlin / Heidelberg, 2012.

Industry Related Technical Skills

OS MacOS X, Linux, Solaris, FreeBSD, Programming Java, C/C++/Objective-C, Python,

Windows Prolog, A-Prolog, Pascal, Oberon-2,

LTEX, Perl

A

Tools Xcode, Eclipse, Netbeans, Mercurial, Languages English, Russian

Git, Subversion, iWork, MS O ce

3/3

Contact this candidate