George S. Avrunin
Professor and Associate 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/Directory/personal.html?email=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; real-time computer systems;
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 Software
Model Checking for Embedded Systems page and the Laboratory for Advanced
Software Engineering Research page. The Specification Patterns
home page is a repository of patterns for finite-state
verification.
Teaching:
In Spring 2008, I am
teaching Math 128H,
Honors Calculus for Life and Social Sciences II, and I have taken
over Math 370, Writing in
Mathematics, since John Fogarty is on medical leave.
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 Committees for
the 2008 IEEE/ACM
International Conference on Automated Software Engineering and the
2009 ACM SIGSOFT
International Symposium on Software Testing and Analysis.