465 Northwestern Avenue, Rm. 313C
Electrical Engineering Building
School of Electrical & Computer Engineering
West Lafayette, IN 47907
(765) 494-9068 (office)
(765) 532-8427 (mobile)
(765) 494-2706 (fax)
Title: Associate Professor
To see me, send me email, or visit my Office Hours. If an email to me goes
unanswered for a couple days, please repeat it.
I received my computer science Ph.D. from MIT in 1996, working with David McAllester.
I have interesting projects now available in automated reasoning and knowledge representation suitable for either graduate or undergraduate level thesis credit or directed reading/research credit. An interesting MS thesis should be possible. (No dollars available here, sorry.) Please email if interested. Dedicated students outside Purdue are also invited to participate (and possibly receive credit from your institution).
My research is in several areas: machine planning, machine learning,
knowledge representation, stochastic modelling, and automated
reasoning. I am currently focusing on applying automated reasoning to AI planning domains. I have worked in the past applying AI techniques to the
control of computer communications networks. I have also previously
published in the areas of automated reasoning, formal methods, type
inference, programming languages, and logic in computer
Graduate students interested in PhD and/or MS research projects in any
area of artificial intelligence are encouraged to contact me by email
for an appointment to discuss possibilities. From time to time I have
RA funding available for suitable PhD level projects (and in some
cases for MS thesis projects). Undergraduates with strong interest in
artificial intelligence research are encouraged to visit my office
hours to inquire about research opportunities.
Some Talk Slides
Acknowledgement: much of the research reported above was supported by
NSF grants 9977981-IIS, 0093100-IIS, and 0098089-ECS.
Purdue University is an equal access/equal opportunity university. If you have trouble accessing this page because of a disability, please contact Bob Givan using the email address formed by his last name and purdue.edu