Computer Science University
Resume:
EYAL AMIR Curriculum Vitae
+1-217-***-**** (Office) Computer Science Department
+1-217-333-***-**** (Fax) Siebel Center, room 3314
****@**.****.*** University of Illinois at Urbana-Champaign
http://www.cs.uiuc.edu/eyal201 N. Goodwin Road
Secretary: Donna Coleman
+1-217-***-**** Urbana, IL 61801, USA
Academic Employment and Education
University of Illinois at Urbana-Champaign, Associate Professor in Computer Science (Aug
2009
present).
University of Illinois at Urbana-Champaign, Beckman Institute Affiliate (Jan
2006 present).
University of Illinois at Urbana-Champaign, Assistant Professor in Computer Science (Jan
2004
Aug 2009).
Technion, Israel s Institute of Technology, Visiting Scholar (Jun Dec 2007).
University of California at Berkeley, Post-doctoral research in the Electrical
Engineering and Com-
puter Science Department (2001 2003).
Stanford University, Ph.D. in Computer Science (19952001).
Thesis title:Dividing and Conquering Logic. Best Stanford CS thesis, 2001-2002
(seeAwards).
Bar-Ilan University, M.Sc. in Mathematics and Computer Science (19901994).
Bar-Ilan University, B.Sc. in Mathematics and Computer Science,cum laude(1987 1992).
Research Interests
ArtificialIntelligenceandMachineLearning, withemphasisonsystemsthatcombineknowledge,
reason-
ing, learning, and sensings. My technical work is divided between three areas: (a) logic-
based knowledge
representation and reasoning, (b) probabilistic reasoning and machine learning, and (c)
human-level AI
theory and systems. Examples of my work include logical-particle filters, Bayesian
inverse reinforcement
learning, factored planning, lifted relational probability inference, and Human-Turing
machines. Recent
applications of my work include diagnosing water systems, internet crawling decisions,
intelligent game
agents, natural-language processing, and robot motion planning.
Select Awards and Honors
Junior Xerox Award for Faculty Research, University of Illinois Urbana-Champaign, 2009.
C. W. Gear Faculty Award, University of Illinois Urbana-Champaign, 2008.
Fellow, Arnold O. Beckman Institute, University of Illinois Urbana-Champaign, 2007-2008.
Fellow, Center for Advanced Studies, University of Illinois Urbana-Champaign, 2007-2008.
AI Ten to Watch Award, IEEE Intelligent Systems Magazine, 2006.
Faculty Early Career Development (CAREER) Award, National Science Foundation, 2006.
Arthur L. Samuel Award for best Ph.D. thesis, Computer Science Department at Stanford,
2002.
IBMYosef Raviv Fellowship, 2001 (declined).
1
Papers and Publications
Teaching Experience
Research Advisor at Presentfor Ph.D. students (5) and undergraduate students (2).
Graduated Advisees: Postdoctoral researcher (1), Ph.D. students (3), MS students (6), BS
students
(6). My graduated students have gone to Stanford University (PhD studies), Carnegie
Mellon Uni-
versity (Postdoc, PhD studies), UC Berkeley (Postdoc), Google Research, Honda Research
Institute,
SRI International, University of Chicago (MBA studies), Google, Wolverine Trading,
Palantir, and
Amazon.
Collaborative Project, lead anAutonomous Carproject, including 4 faculty and 50 students
University of Illinois Urbana-Champaign, Computer Science Department, Fall 2006, Spring
2007.
Instructor,CS 440: Introduction to Artificial Intelligence,
University of Illinois Urbana-Champaign, Computer Science Department, Fall 2006, Spring
2008,
Spring 2010, Spring 2012.
Instructor,CS 498-EA: Reasoning and Knowledge Representation,
University of Illinois Urbana-Champaign, Computer Science Department, Fall 2004, Fall
2005, Fall
2008, Fall 2009, Fall 2011.
Instructor,CS 598-EA: Decision-Making Under Uncertainty,
University of Illinois Urbana-Champaign, Computer Science Department, Spring 2005, Spring
2006,
Spring 2007.
Instructor,CS 598-EA: Logic in Artificial Intelligence,
University of Illinois Urbana-Champaign, Computer Science Department, Spring 2009.
Instructor,CS 497-EA: Reasoning in Artificial Intelligence,
University of Illinois Urbana-Champaign, Computer Science Department, Spring 2004.
Seminar Organizer
AI-Vision-Robotics Seminar, University of Illinois, Urbana-Champaign (2005 Present)
Seminar on Logical Methods, University of Illinois, Urbana-Champaign (2005 2006)
8
Seminar on Approximate Probabilistic Inference, University of Illinois, Urbana-
Champaign
(2005 2006)
Knowledge Representation and Reasoning Seminar, University of Illinois, Urbana-
Champaign
(2005)
AI-Vision-Robotics Seminar, University of California Berkeley. (2001 2003)
AI-Vision-Robotics Colloquium, Stanford University. (1998 1999)
Reading Group Organizer,Artificial Intelligence Agents,
University of California Berkeley, Computer Science Division, Spring 2002, Autumn 2002.
Teaching Assistant,CS 121: Introduction to Artificial Intelligence,
Stanford University, Computer Science Department, taught by Nils J. Nilsson, Spring 1998.
Teaching Assistant,CS 323: Commonsense and Nonmonotonic Reasoning,
Stanford University, Computer Science Department, taught by John McCarthy, Winter 1996,
Winter
1997.
Teaching Assistant,Math 102, Math 103: Introduction to Set Theory and Analysis,
Bar-Ilan University, Department of Mathematics and Computer Science, taught by Yaacov
Choueika,
Autumn 1991, Spring 1992.
Instructor,Info 705: Computer Applications
Bar-Ilan University, Information Science Department, Spring 1990.
Academic Service
Journals and Conferences Service
Chairmanship
co-Chair of an NSF workshop (pending NSF approval) onResearch Challenges and Op-
portunities in Knowledge Representation, 2012
co-Chair of the 8th Symposium on Logical Formalizations of Commonsense Reasoning
(Commonsense 2007)
Editorial Board
Member in the editorial board of Journal of Artificial Intelligence Research (JAIR),
2006
2009
Program Committee Memberfor
International Conference on Principles of Knowledge Representation and Reasoning: KR
2012,KR 2010,KR 2008,KR 2006
European Conference on Artificial Intelligence:ECAI 2012,ECAI 2010,ECAI 2006
International Conference on AI Planning and Scheduling:ICAPS 2012
International Symposium on AI and Math:ISAIM 2012
International Conference on AI Planning and Scheduling:ICAPS 2012
Uncertainty in Artificial Intelligence Conference UAI 2012, UAI 2011, UAI 2008, UAI
2007),
National Conference on Artificial Intelligence:AAAI 2011 (tutorial forum PC),AAAI 2010,
AAAI 2008,AAAI 2007,AAAI 2006,AAAI 2005,AAAI 2004
9
Intl. Joint Conference on Artificial IntelligenceIJCAI 2011 (Senior PC Member), IJCAI
2009,IJCAI 2005,IJCAI 2003,IJCAI 2001,IJCAI 1999,
First International Workshop on Uncertainty in Description Logics (UniDL 2010),
Workshop onNonmonotonic Reasoning at 30, 2010,
Workshop on Nonmonotonic Reasoning about Actions (NRAC 2009),
Logic in Computer Science (LICS 2008),
Logic Programming and Automated Reasoning (LPAR 2007),
International Conference on Machine Learning (ICML 2006),
International Conference on Knowledge Science, Engineering and Management (KSEM
Professional organizations:
Association for the Advancement of Artificial Intelligence (AAAI).
Institute of Electrical and Electronics Engineers (IEEE).
Association for Computing Machinery (ACM).
Advisory Boards
Lifeboat Foundation
Project Elliot
10
Departmental and Campus Committee Memberships:
Graduate Student Admissions Committee (FAA).
Courses and Curricula Committee.
Student Awards Committee.
Quality of Doctoral Program, strategic committee.
Campus Research Board (reviewer)
Service for Government Agencies and Funding Sources:
Reviewer and panel member for National Science Foundation (NSF), 2006-2012Reviewer for Israel Science Foundation (
ISF), 2008-2012
Reviewer and panel member for Deutsche Forschungsgemeinschaft (DFG), German Research
Foundation,
2011-2012
Reviewer for German-Israeli Foundation for Scientific Research and Development (GIF),
2012.
Awarded Grants
PI, $220K, 2012, DARPA,Machine Readingprogram (administered as a sub-contract to SRI),
project
onDynamic Probabilistic Modal Knowledge: Modelig and Processing Conversations.
PI, $20K, 2012, NSF International Collaboration supplement, project on Scaling Up
Probabilistic
Reasoning for Real-World Robotics.
co-PI, $150K (my share; Al Valocci PI), 2011, NSF, project onImproving prediction of
subsurface
flow and transport through exploratory data analysis and complementary modeling.
PI, $8K, 2011, NSF REU supplement.
PI, $250K, 2010, NSF SoCS, project on Analyzing partially observable computer-adolescent
net-
works.
PI, $450K, 2009-2012, NSF Robust Intelligence, Small grant, project onRI: Small: Scaling
Up Infer-
ence in Dynamic Systems with Logical Structure.
PI, $15K, 2007, award from University of Illinois, Urbana-Champaign, Campus Research
Board.
PI, $20K, 2006, award from University of Illinois, Urbana-Champaign, Coordinated Science
Lab.
PI, $20K, 2006, award from University of Illinois, Urbana-Champaign, Computer Science
Dept.
PI, $25K, 2006, award from University of Illinois, Urbana-Champaign, Dean of the College
of Engi-
neering.
PI, $360K, 2006 2009, award from National Geospatial Intelligence Agency (NGIA).
co-PI, $100K (my share; together with Mehdi Harandi (PI, UIUC)), 2006, award from US Army
CERL.
PI, $500K, 2005 2010, CAREER award from NSF.
PI, $200K (my share), 2005 2006, together with Jerry DeJong (co-PI, UIUC).
co-PI, $880K (my share), 2004 2009, award from DARPA/IPTO, together with Stuart Russell
(PI,
UC Berkeley).
11
Invited Talks
Technische Universitat Munchen By-Invitation-Only Workshop on The role of abstraction and
hi-
erarchical structures in cognitive systems, June 2012, talk onRelational Structure in
Inference and
Learning
University of Illinois Chicago, Apr 2012,Machine Learning for Street Parking
Technische Universitat Munchen, Sep 2011,Combining Logic and Probabilities
ICAPS Workshop on Robot Planning, May 2010,Combining Planning and Motion Planning
Dagstuhl, Feb 2010,Probabilistic Reasoning
Technion, Department of Industrial Engineering, Jan 2010,Combining Logic and
Probabilities: Ad-
vances and Challenges
UniversityofIllinois,Chicago, ComputerScienceDepartment,Oct2009,CombiningLogicandProb-
abilities: Advances and Challenges
Tel-Aviv University, Computer Science Department, Aug 2009,Combining Logic and
Probabilities:
Advances and Challenges
Princeton University, Computer Science Department, Mar 2008, Reinventing Partially
Observable
Reinforcement Learning
University of Texas at Austin, Computer Science Department, Feb 2008,Reinventing
Partially Ob-
servable Reinforcement Learning
University of Southern California, Information Science Institute, Feb 2008, Reinventing
Partially
Observable Reinforcement Learning
Harvard University, Computer Science Department, Feb 2008,Reinventing Partially
Observable Re-
inforcement Learning
Technion, Israel, Industrial Engineering Department, Jan 2008, Combining Planning and
Motion
Planning
University of Toronto, Canada, Computer Science Department, May 2007,Logical Filtering
and Its
ApplicationsandAI Completeness: A New Model of Computation for Artificial Intelligence
India Institute of Technology (IIT), Delhi, Computer Science Department seminar, December
2006,
Craig s Interpolation Theorem and Its Applications
Yahoo! Research Labs, Research seminar, July 2006,Learning Partiall Observable Action
Models
Reservoir Labs, Research seminar, April 2006,Learning Partiall Observable Action Models
Google, Research seminar, March 2006,Learning Partiall Observable Action Models
MIT, Machine Learning seminar, March 2006,Learning Partiall Observable Action Models
Tel Aviv University, Logic seminar, December 2005,Lifted First-Order Probabilistic
Inference
Israel Institute of Technology (Technion), Industrial Engineering and Management seminar,
Decem-
ber 2005,Lifted First-Order Probabilistic Inference
Hebrew University, CS seminar, December 2005,Lifted First-Order Probabilistic Inference
University of British Columbia, CS seminar, September 2005,Lifted First-Order
Probabilistic Infer-
12
ence
Bar-Ilan U, CS seminar, May 2005,Learning Partially Observable Action Models
UIUC, CS seminar, April 2005,Agents with Knowledge
UIUC, General Engineering seminar, March 2005,Dividing and Conquering Logic
UIUC, ECE seminar, February 2005,Logical Filtering
Tel-Aviv U, Logic seminar, January 2005,Compact Propositional Encoding of First-Order
Theories
Tel-Aviv U, CS colloquium, January 2005,Learning Partially Observable Action Models
Cycorp, November 2004,Using Commonsense Knowledge
Cycorp, November 2004,Directions for Research in First-Order Inference
U. of Iowa at Iowa City, CS colloquium, October 2004,Dividing and Conquering Logic
Cycorp, June 2004,Dividing and Conquering Logic
Cycorp, June 2004,Agents with Knowledge
Weizmann inst., Math&CS, May 2004,Logical Filtering
Tel-Aviv U, logic seminar, May 2004,Dividing and Conquering Logic
Tel-Aviv U, CS colloquium, May 2004,Logical Filtering
Hebrew U, CS colloquium, May 2004,Dividing and Conquering Logic
Hebrew U, Machine-Learning seminar, June 2004,Learning Partially Observable Action Models
Technion, CS colloquium, June 2004,Logical Filtering
Haifa U, Rothschild Inst, July 2004,Logical Filtering
MIT, CSAI lab, February 2004,Logical Filtering
Industrial Experience
Chief Executive Officer, AI Incube, Inc (FasPark). (2009-2012)
Machine Learning for street parking.
Consultant, Giza Venture Capital. (2000-2008)
Technical evaluation of start-up companies that use artificial intelligence techniques.
Software Engineer, Israel Defense Forces,Captain. (19901995)
Programming game models and GUI in C++ in a Sun/Solaris environment.
Lab Manager, Bar-Ilan University. (19891990)
Hardware and software maintenance for a PC lab.
13
Contact this candidate