We are delighted to have Dr. Gupta presenting in September! 

 Dr. Gopal Gupta on

"Using Constraint Logic Programming for Programming Rules"

About the presentation: 

Constraint Logic Programming is a powerful rule-based programming paradigm that has been shown as an elegant way to solve highly complex problems that involve search and AI.  CLP draws from work done in logic programming as well as constraint satisfaction in AI.  CLP combines rule-based reasoning with OR style optimization which allows many traditional problems in OR to be solved with ease and elegance.  CLP technology has been commercialized by a number of companies, including ILOG & Cosytec.

In this talk Dr. Gupta will give an overview of Constraint Logic Programming as well as its applications.  The talk will be self-contained.

About the presenter: 

Gopal Gupta received his MS and Ph.D. in computer science from the University of North Carolina at Chapel Hill in 1987 and 1991 respectively, and his B. Tech. in Computer Science from IIT Kanpur in 1985.  Currently he is a Professor of Computer Science at the University of Texas at Dallas where he also serves as the Associate Department Head.  His areas of research interest are in logic/constraint programming, programming languages semantics and implementation, assistive technology, AI, and parallel processing.  He has published more than 120 papers in these areas in refereed journals and conferences.  He has also developed several practical software systems that employ constraint/logic programming technology.  His work on constraint/logic programming has also resulted in two start-ups. 

He serves as an area editor of the journal, Theory and Practice of Logic Programming, and has served in numerous conference program committees.  He is a member of the Executive Council of the Association for Logic Programming, as well as a past member of the board of the European Association for Programming Languages and Systems.