Skip to main content

Welcome, the Hub connects all projects

Member Profile

George Avrunin



  • Higher Ed: Mathematics 


George Avrunin is a professor in the Department of Mathematics and Statistics and an adjunct professor in the Department of Computer Science at the University of Massachusetts Amherst. He received his Ph.D. in mathematics from the University of Michigan in 1976. His research has ranged from the cohomology and representation theory of finite groups to utility theory and models of individual choice and social conflict. Most recently, he has focused on the specification and analysis of concurrent systems, including computer systems and complex systems like medical processes in which human and automated agents interact. His research has been supported by grants from the National Science Foundation, the Office of Naval Research, and the Army Research Office. In 2006, he was named a Distinguished Scientist by the Association for Computing Machinery. He served as Head of the Department of Mathematics and Statistics from 2008 to 2011. 


concurrent systems, finite-state verification, requirements engineering