Ugo Buy

Ugo Buy is an Associate Professor in the Department of Computer Science at the University of Illinois at Chicago, affiliated with the College of Engineering. His research focuses on software engineering, particularly in modeling and analysis of concurrent and real-time systems, and the automatic generation of control supervisors for discrete manufacturing systems. He has also explored applications in supervisory control, dynamic reconfiguration, and automatic correction of multi-threaded Java programs.

Education:

• Ph.D., University of Massachusetts, 1990

Research Interests: Dr. Buy's work spans software engineering for concurrent systems, real-time systems verification using finite automata and Petri nets, and supervisory control techniques for discrete manufacturing plants. Additional interests include multicore hardware development, mobile app development, and sensor networks. He co-directed a NIST-sponsored project on automated supervisory controllers for discrete manufacturing systems.

Teaching: Dr. Buy has taught courses such as object-oriented programming (CS 342, CS 474), software engineering (CS 342, CS 440, CS 442, CS 540), and mobile app development (CS 478). Earlier in his career, he taught introductory computer science (CS 100, CS 101), data structures (CS 201), and theoretical courses (CS 301, CS 401).

Professional Activities:

• Organization Committee Member, Petri Nets '93 (14th International Conference on Application and Theory of Petri Nets, Chicago, Illinois)
• Program Committee Member, ICCI'93 (Fifth International Conference on Computing and Information, Sudbury, Ontario)
• Program Committee Member, IWSSD-7 (IEEE Seventh International Workshop on Software Specification and Design, Redondo Beach, California)
• Program Committee Member, IWSSD-8 (IEEE Eighth International Workshop on Software Specification and Design, Paderborn, Germany)