Associate Professor Ugo A. Buy

My research interests are in the general area of software engineering with emphasis on modeling and analysis of concurrent and real-time systems. In the past, I have investigated various methods for automatic verification of these systems using such models as finite automata and Petri nets. In recent years, I have shifted my main research focus to the automatic generation of control supervisors for discrete manufacturing systems. For instance, I codirected NIST-sponsored project seeking to generate automatically supervisory controllers for discrete manufacturing plants. More generally, I am now interested in techniques for supervisory control and dynamic reconfiguration of discrete event systems. An additional application is the automatic correction of multi-threaded Java programs required to be free of deadlock and to comply with user-specified safety properties. Additional interests include optimization of workflow systems and sensor networks.

Teaching Awards

• Award For Excellence In Teaching, College Of Engineering, University of Illinois at Chicago, 2005
• Teaching Recognition Program Award,2005
• The Harold A. Simon Award for Excellence in Teaching, College of Engineering, University of Illinois at Chicago, 1995.
• Best Advisors Award, Professional Engineers Societies Council, University of Illinois at Chicago, 1993.

Contact

Mailing Address:

Associate Professor Ugo A. Buy
Department of Computer Science
851 S. Morgan (M/C 152)
Room 1120 SEO
Chicago, IL 60607-7053