Skip to main content


Welcome, the Hub connects all projects

Member Profile


George Avrunin

PROJECT AFFILIATION:

PROFESSIONAL ROLES

  • Higher Ed: Mathematics 

BIO

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. 

EXPERTISE

concurrent systems, finite-state verification, requirements engineering 

RECENT PUBLICATIONS