Robert Givan

 Robert Givan

Title

Associate Professor 

Office

EE 313C 

Office Phone

(765) 494-9068 

Research Areas

machine planning, machine learning, knowledge representation, stochastic modeling, and automated reasoning 

Biography

I received my computer science Ph.D. from MIT in 1996, working with David McAllester. My research is in several areas: machine planning, machine learning, knowledge representation, stochastic modeling, and automated reasoning. I have previously published in the areas of automated reasoning, formal methods, type inference, programming languages, and logic in computer science. 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. My PhD thesis was on developing fast (polynomial-time) inference procedures that are effective in undecidable domains---this topic spans many sub areas of artificial intelligence and has a wide range of applications. The application discussed in my thesis is the task of inferring properties of computer programs in highly expressive property languages when limited to polynomial time, and I presented a program capable of rapidly inferring the functionality and correctness of simple sorting programs. 

Coming Up!

Our annual security symposium will take place on April 7th and 8th, 2020.
Purdue University, West Lafayette, IN

More Information