Robert L. Givan is an Associate Professor in the Elmore Family School of Electrical and Computer Engineering at Purdue University. His academic affiliations include Purdue’s Department of Electrical and Computer Engineering and the Max W and Maileen Brown Family Hall. He holds a B.S. in Mathematics and Biology from Stanford University (1987), an M.S. in Computer Science from Stanford (1987), and a Ph.D. in Computer Science from MIT (1996). His research focuses on artificial intelligence, reinforcement learning, automated reasoning, knowledge representation, and stochastic modeling. Notable projects include applying automated reasoning to AI planning domains and exploring reinforcement learning techniques for stochastic control problems. He has contributed to areas such as probabilistic planning, heuristic search, and formal verification. His recent publications span topics like stochastic enforced hill-climbing, automated feature induction, and formal verification methods. His work often bridges theoretical foundations with applied challenges in AI and robotics. Givan’s research has been supported by NSF grants in AI and computer engineering. Labs and collaborations include involvement with Purdue’s AI and robotics initiatives, though no specific lab names are mentioned. He emphasizes student collaboration through directed research and thesis opportunities, particularly in AI and related fields.







/prod01/production-cdn-pxl/media/umassdartmouth/profiles/engineering/electrical-amp-computer/231012-LIUDONG-XING-02.jpg)
