George S. Avrunin

Professor Emeritus, Department of Mathematics and Statistics
Adjunct Professor, College of Information and Computer Sciences
Department of Mathematics and Statistics
University of Massachusetts Amherst
710 N. Pleasant Street
Amherst, MA 01003-9305
1335D Lederle Graduate Research Tower
413-545-4251 (Voice)
413-545-1801 (Fax)
avrunin at math dot umass dot edu
Public PGP key:
Click here to download my public GnuPG key (ASCII version)
My official Department of Mathematics and Statistics web page:


I am not teaching in the spring semester of 2022. In the fall, I will be teaching Math 490A, Abstract Algebra for Future Teachers.

Research interests:

Analysis and verification of concurrent and distributed computer systems; requirements engineering; applications of analysis and verification techniques to human-intensive systems such as medical processes and elections; verification methods for high-performance computing systems; software architecture; cohomology and representation theory of finite groups


My publications are listed by topic (more or less) and chronologically in the links below, along with links to electronic versions of some of them. These online copies are made available as a means to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are maintained by the authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each copyright holder. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Publications by topic

Chronological list

My CV is available here. For additional information and pointers to some related publications, see the the Laboratory for Advanced Software Engineering Research page. The Specification Patterns home page is a repository of patterns for finite-state verification.


I was the lead Principal Investigator on a project called the Western Massachusetts Mathematics Partnership. In 2011, this project was funded by a "START" planning grant from the National Science Foundation's Math and Science Partnerships program, and it continues to operate with funding from Five Colleges, Incorporated, and the participating school districts. The WMMP involves faculty from all the member institutions of the Five College Consortium (Amherst, Hampshire, Mount Holyoke, and Smith colleges and UMass Amherst), Springfield College, Holyoke Community College, Greenfield Community College and Western New England and Westfield State universities. The school districts participating include Amherst, Easthampton, Gill-Montague, Hampden-Wilbraham, Holyoke, Mohawk Trail, Northampton, Pioneer Valley Performing Arts Charter School, South Hadley, Springfield, Union 28, and Westfield. In addition to Summer Institutes where WMMP participants discuss issues in mathematics teaching and work on mathematics together, we have also been sponsoring vertically integrated (K-16) Professional Learning Communities focused on algebraic thinking and the Common Core practice standards. In the spring of 2015, I co-facilitated a PLC with Jennifer Oliver, a math teacher at the Amherst Regional Middle School, and Harriet Pollatsek, a professor emerita at Mount Holyoke. In the fall of 2015, I co-facilitated a PLC with Claudine Margolis, a math teacher at PVPA.