Publications Automatic Verification of Concurrent and Real Time Software 1. G.S. Avrunin , U.A. Buy and J.C. Corbett. "Integer Programming in the Analysis of Concurrent ...
Contact Mailing Address: Associate Professor Ugo A. Buy Department of Computer Science 851 S. Morgan (M/C 152) Room 1120 SEO Chicago, IL 60607 7053 Office 1139 ...
Teaching Awards Award For Excellence In Teaching, College Of Engineering, University of Illinois at Chicago, 2005 Teaching Recognition Program Award,2005 ...
Associate Professor Ugo A. Buy My research interests are in the general area of software engineering with emphasis on modeling and analysis of concurrent and real ...
Professional Activities Organization committee member for Petri Nets '93, 14th International Conference on Application and Theory of Petri Nets, Chicago, Illinois ...
Education of Massachusetts, Amherst, 1990 Ph.D. Computer Science University of Massachusetts, Amherst, 1983 M.S. Computer Science Politecnico di Milano ...