He obtained his PhD degree in Computer Science from the University of Massachusetts at Amherst in 1990. His research interests are in software engineering, with emphasis on formal modeling and analysis of concurrent and real-time software. He has been involved in various federally-sponsored projects seeking to define techniques and tools for formal verification of these systems, using a variety of program representations. In addition, he has held various positions serving the student community in the Department of Computer Science and the and the College of Engineering, including Director of Undergraduate Students, Director of Graduate Students, and departmental representative in the college’s educational policies committee and the college’s awards committee. Finally, Ugo Buy is the recipient of several teaching awards including the UIC Award for Excellence in Teaching.