## 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