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 regular
languages, temporal logic and Petri nets. In recent years, I have shifted
my main research focus to the automatic generation of control supervisors
for discrete manufacturing systems. I am specifically working with the Starthis Corporation in Arlington Heights, Illinois and
with a group directed by Professor
Houshang Darabi in the Department of Mechanical and Industrial Engineering
at UIC. This project is sponsored by the National Institute of Standards and Technology. More
generally, I am now interested in techniques for supervisory control and dynamic
reconfiguration of discrete event systems. Additional research interests include
digital government, e-learning, and sensor networks. In the past, I have
also investigated methods for automatic generation of concurrency code and
for data-flow based testing of C++ classes.
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