Associate Professor Ugo A. Buy

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

Office 1139 SEO
Email: buy AT cs DOT uic DOT edu
Phone: (312) 413-2296
Fax (312) 413-0024
Department Phone (312) 996-3422
Topic attachments
I Attachment Action Size Date Who Comment
Jpgjpg buy.jpg manage 15.2 K 2009-07-10 - 20:13 RebeccaDoma  
Pngpng jakob_eriksson_small.png manage 19.5 K 2009-05-20 - 18:13 TWikiAdminUser  
 
Copyright 2014 The Board of Trustees
of the University of Illinois.webmaster@cs.uic.edu
WISEST
Helping Women Faculty Advance
Funded by NSF