Ugo Buy
Associate Professor
Department of Computer Science
Contact
- Building & Room:
- CDRLC 4432
- Address:
- 850 W. Taylor St, MC 152, Chicago, IL, 60607
- Office Phone:
- 312.413.2296
Email:
CV Link:
About
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 software development for multicore hardware, mobile app development, and sensor networks.
Teaching:
Most recently I have been teaching courses on object-oriented programming languages (CS 474), software engineering ( CS 540), and mobile app development (CS 378 and CS 478). In the past, I have also taught introductory computer-science classes (CS 100 and CS 101), data structures (CS 201), other software engineering courses (CS 342, CS 440 and CS 442), and theory classes (CS 301 and CS 401).
Here is a list of my most recent teaching evaluations. The first number refers to question "Rate the instructor's overall teaching effectiveness"; the second number refers to question "Rate the overall quality of the course".
- CS 540 (Advanced Topics in Software Engineering) -- Spring 26 -- 4.74/5.00 and 4.84/5.00
- CS 540 (Advanced Topics in Software Engineering) -- Spring 25 -- 4.83/5.00 and 4.71/5.00
- CS 478 (Software Development for Mobile Devices) -- Spring 26 -- 4.16/5.00 and 4.11/5.00
- CS 478 (Software Development for Mobile Devices) -- Spring 26 -- 4.22/5.00 and 4.33/5.00
- CS 474 (Object-Oriented Programming Languages) -- Fall 25 -- 4.53/5.00 and 4.29/5.00
- CS 474 (Object-Oriented Programming Languages) -- Fall 24 -- 4.43/5.00 and 4.33/5.00
- CS 378 (Software Development for Handheld Devices) -- Fall 25 -- 4.48/5.00 and 4.49/5.00
- CS 378 (Software Development for Handheld Devices) -- Fall 24 -- 4.05/5.00 and 4.00/5.00
Here is a list of courses that I taught in the past:
Professional Activities:
- Organization committee member for Petri Nets '93, 14th International Conference on Application and Theory of Petri Nets, Chicago, Illinois, June, 1993.
- Program committee member for ICCI'93 Fifth International Conference on Computing and Information, Sudbury, Ontario, May, 1993.
- Program committee member for IWSSD-7 IEEE Seventh International Workshop on Software Specification and Design, Redondo Beach, California, December, 1993.
- Program committee member for IWSSD-8 IEEE Eighth International Workshop on Software Specification and Design, Paderborn, Germany, March, 1996.
Notable Honors
2013, The Teaching Award, College of Engineering, University of Illinois at Chicago
2006, Award For Excellence In Teaching, University of Illinois at Chicago
2005, Teaching Recognition Program Award, University of Illinois at Chicago
1995, University of Illinois at Chicago, The Harold A. Simon Award for Excellence in Teaching, College of Engineering
Education
Ph.D., University of Massachusetts, 1990