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)

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.


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