Michael Levet

Contact Information

  • Assistant Professor of Computer Science, College of Charleston
  • Office: Harbor Walk East (HWEA) 312
  • Email Me: lastnamefirstinitial (at) cofc (dot) edu
  • Pronouns: He/Him/His

Current and Upcoming Courses:

Research Interests

  • Algebraic Combinatorics, Algorithms in Finite Groups, Computational Complexity, Descriptive Complexity, Isomorphism Testing, Phylogenetics, Relation Algebras


My Course Materials

I welcome comments, suggestions, and corrections. Please reach out to me via email with any feedback you may have regarding my notes.

Book Recommendations

  • A First Course in Proofs
  • Favorite Combinatorics and Graph Theory Books
    • Bijective Combinatorics - Nicholas Loehr
    • Introduction to Graph Theory - Douglas West
    • Algebraic Graph Theory - Chris Godsil and Gordon Royle
    • An Introduction to the Theory of Graph Spectra- Dragoš M. Cvetković, Peter Rowlinson, and Slobodon Simić
    • Linear Algebra Methods in Combinatorics With Applications to Geometry and Computer Science- Laszlo Babai and Peter Frankl
  • Theory of Computation and Algorithms
    • Introduction to Algorithms- Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, and Clifford Stein
    • Computational Complexity: A Modern Approach- Sanjeev Arora and Boaz Barak
    • Models of Computation- John E. Savage
    • Introduction to the Theory of Computation - Michael Sipser
    • Introduction to Automata Theory, Languages and Computation (1st Edition)- John E. Hopcroft and Jeffrey D. Ullman.
    • Introduction to Automata Theory, Languages and Computation (3rd Edition)- John E. Hopcroft, Rajeev Motwani, and Jeffrey D. Ullman
    • Remark: The 1st Edition of Hopcroft and Ullman's text is a beautifully written book full of a lot of important material. However, it is really geared at a mathematically mature audience. The 3rd edition is more watered down in terms of the material, but the authors emphasize proof strategy. The later edition is more appropriate for an audience with minimal proofs-based mathematics.
  • Linear Algebra
    • Linear Algebra- Stephen H. Friedberg, Arnold J. Insel, and Lawrence E. Spence
    • Advanced Linear Algebra- Nicholas Loehr
  • Abstract Algebra
  • Microeconomics and Game Theory