Ugo A. Buy
Ugo A. Buy, Associate Professor
Department of Computer Science (M/C 152)
University of Illinois at Chicago
851 S. Morgan Street
Chicago, IL 60607
(312) 413-2296 (o)
(312) 413-0024 (f)
buy@cs.uic.edu
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.
Education
Recent publications
Courses taught
Professional Activities
Teaching Awards
Sports Interests
University of Illinois At Chicago
Department of Computer Science
Web U.S.A. Universities.
E-mail Ugo Buy