TWiki> Buy Web>WebHome (2015-06-09,

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 software development for multicore hardware, mobile app development, and sensor networks.

Teaching Awards

  • The Teaching Award, College of Engineering, University of Illinois at Chicago, 2013.
  • Award For Excellence In Teaching, University of Illinois at Chicago, 2006.
  • Teaching Recognition Program Award, University of Illinois at Chicago, 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.


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 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
JPEGjpg buy.jpg manage 15.2 K 2009-07-10 - 20:13 UnknownUser  
PNGpng jakob_eriksson_small.png manage 19.5 K 2009-05-20 - 18:13 TWikiAdminUser  
Topic revision: r10 - 2015-06-09 - 19:45:35 -
Copyright 2016 The Board of Trustees
of the University of
Helping Women Faculty Advance
Funded by NSF