Michael Levet

Assistant Professor

Education

PhD Computer Science, University of Colorado Boulder

MS Mathematics, University of South Carolina-Columbia

ME Computer Science and Engineering, University of South Carolina Columbia

BS Mathematics, Virginia Tech

BA Economics, Virginia Tech

Research Interest

Dr. Levet’s research focuses on the computational complexity of the Graph Isomorphism problem. In particular, he works on several important sub-cases of Graph Isomorphism, including isomorphism testing of finite groups, strongly regular graphs, and parameterized families of graphs. Dr. Levet also maintains interests in the combinatorics of binary relations, permutation statistics, and phylogenetics.

Courses Taught

CSCI 230 - Data Structures and Algorithms

CSCI 310 - Advanced Algorithms

CSCI 350 - Digital Logic and Computer Organization

CSIS 616 - Automata Theory