George S. Avrunin
Professor and Department Head, Department of Mathematics and Statistics
Adjunct Professor, Department of Computer Science
- Address:
- Department of Mathematics and
Statistics
University of Massachusetts
Amherst
710 N. Pleasant Street
Amherst, MA 01003-9305
USA
- Office:
- 1623E Lederle Graduate Research Tower
- Telephone:
- 413-545-0510 (Voice)
413-545-1801 (Fax)
- Email:
- avrunin at math dot umass dot edu
- My official Department of Mathematics and Statistics web page:
- http://www.math.umass.edu/People/avrunin
- Public PGP key:
- Click here to download
my public
GnuPG key (ASCII version)
Research interests:
Analysis and verification of concurrent and distributed computer
systems; requirements engineering; applications of analysis and
verification techniques to medicine; verification methods for
high-performance computing systems; software architecture;
cohomology and representation theory of finite groups
Publications:
A list
of my
publications, with abstracts and links to online copies for the
more recent ones, is available.
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.
Current Professional Service:
I am a member of the Editorial
Board of ACM Transactions on
Software Engineering and Methodology. I am also a member of
the Program Committee for the
2009 ACM SIGSOFT
International Symposium on Software Testing and Analysis.