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