George Avrunin
Professor, Department of Mathematics and Statisticsm, College of Natural Sciences
Disciplines
- Mathematics
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