Ugo A. Buy
Buy's 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, he investigated various methods for automatic verification of these systems using such models as regular languages, temporal logic and Petri nets. In recent years, he shifted his main research focus to the automatic generation of control supervisors for discrete manufacturing systems. In collaboration 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, Buy has been developing formal models and analysis methods for manufacturing plants. This project is sponsored by the National Institute of Standards and Technology.
Additional research interests include digital government, e-learning, and sensor networks. In the past, Buy also investigated methods for automatic generation of concurrency code and for data-flow based testing of C++ classes.
Software engineering; supervisory control of discrete event systems; formal models and analysis of real-time software; software testing; sensor networks.
Copyright © 2005 Board of Trustees of the University of Illinois
Contact the Webmaster