Contact Information
- Email Me: firstname (dot) lastname (at) colorado (dot) edu
- Pronouns: He/Him/His
Research Interests
- Pure Math: Algebraic Combinatorics, Computational Group Theory, Computational Complexity, Quantum Computation, Spectral Graph Theory
- Interdisciplinary: Microeconomic Theory, Game Theory
Publications:
- Weisfeiler--Leman for Group Isomorphism: Action Compatibility- (Joshua A. Grochow, Michael Levet), Preprint.
- Improved bounds on the size of the smallest representation of relation algebra 32_{65}- (Jeremy F. Alm, Michael Levet, Saeed Moazami, Jorge Montero-Vallejo, Linda Pham, Dave Sexton, Xiaonan Xu), In Revision.
- Master's Thesis: “Graph Homomorphisms and Vector Colorings ”
- Activity in Boolean Networks - (Abhijin Adiga, Hilton Galyean, Chris J. Kuhlman, Michael Levet, Henning S. Mortveit, Sichao Wu), Journal of Natural Computing (2017).
- A Mechanism Design Approach For Influence Maximization - (Michael Levet, Siddharth Krishnan), GameNets (2016).
- Network Structure and Activity in Boolean Networks - (Abhijin Adiga, Hilton Galyean, Chris J. Kuhlman, Michael Levet, Henning S. Mortveit, Sichao Wu), Cellular Automata and Discrete Complex Systems (2015).
Teaching Interests:
- Linear and Abstract Algebra, Discrete Math, Number Theory, Theory of Computation, Theory of Combinatorial Circuits, Computational Complexity, Cryptography, Information Theory.
Courses Taught:
- University of Colorado- Boulder
- Fall 2021: CSCI 3104 Algorithms (GTA)
- Summer 2021: CSCI 3104 Algorithms (Instructor- 2 Sections)
- Teaching Modality: Hybrid In-Person/Remote Synchronous
- Spring 2021: CSCI 4900 Directed Study in Computational Complexity (Instructor)
- Fall 2020: CSCI 3104 Algorithms (GTA)
- Teaching Modality: Remote Synchronous
- Spring 2020: CSCI 3104 Algorithms (GTA; Emergency Co-Instructor)
- Teaching Modality: Remote Synchronous
- Spring 2020: Math 3140 Abstract Algebra (GTA)
- Fall 2019: CSCI 3104 Algorithms (GTA)
- Fall 2019: CSCI 3434 Theory of Computation (Lead GTA)
- Johns Hopkins Center for Talented Youth
- Summer 2020: Proving What Can't Be Proven (PROV) Instructor of Record (4 sessions)
- Summer 2019: Fundamentals of Computer Science (FCPS) Instructor of Record (2 sessions)
- Summer 2018: Probability and Game Theory (GAME) Instructor of Record
- Summer 2018: Theory of Computation (TCOM) Instructor of Record
- University of South Carolina- Columbia:
- Summer 2019: Math 111 College Algebra (Instructor of Record- 1 section)
- Spring 2019: Math 122 Business Calculus (Instructor of Record- 1 section)
- Spring 2019: Math 141 Calculus I (Instructor of Record- 1 section)
- Spring 2019: Math 170 Finite Mathematics (Instructor of Record- 2 sections)
- Fall 2018: Math 122 Business Calculus (Instructor of Record- 3 sections)
- Fall 2018: Math 170 Finite Mathematics (Instructor of Record- 1 section)
- Spring 2018: Math 122 Business Calculus (Instructor of Record)
- Fall 2017: Math 115 Precalculus (Instructor of Record)
- Summer 2017: CSCE 355 Foundations of Computation (Instructor of Record)
- Spring 2017: Math 141 Calculus I (GTA for two lab and recitation sections)
- Fall 2016: Math 142 Calculus II (GTA for two lab and recitation sections)
- Summer 2016:
- CSCE 355 Foundations of Computation (Instructor of Record)
- Graduate Tutor for Math Tutoring Center
- Spring 2016:
- CSCE 146 Algorithmic Design II (GTA for one lab section)
- CSCE 551 Theory of Computation (GTA)
- Fall 2015:
- CSCE 145 Algorithmic Design I (GTA for one lab section)
- CSCE 355 Foundations of Computation (GTA)
- Virginia Tech:
- Spring 2015: CS 4114 Formal Languages and Automata Theory (UTA)
- Fall 2014: CS 4124 Theory of Computation (UTA)
- Theory of Computation (Draft) (Mathematical Preliminaries, Finite State Automata, Group Theory, Computability, Complexity)
- Computational Complexity Notes (Draft)
- Algorithms Lecture Notes (In-Progress)
- Introduction to Game Theory
- During the Spring 2020 and Fall 2020 semesters, I have implemented active learning in my Algorithms recitations. Here are some of my active learning worksheets.
- 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
- Abstract Algebra: Theory and Applications- Thomas Judson
- A Book of Abstract Algebra- Charles C. Pinter
- Abstract Algebra- David Dummit and Richard Foote
- Microeconomics and Game Theory
- Game Theory, Alive- Anna R. Karlin and Yuval Peres
- Mechanism Design and Approximation- Jason D. Hartline
- Auction Theory- Vijay Krishna
- Algorithmic Game Theory- Noam Nisan, Tim Roughgarden, Eva Tardos, and Vijay V. Vazirani
- Frank Thorne's Lecture Notes on the Mathematics of Game Shows
My Notes
I welcome comments, suggestions, and corrections. Please reach out to me via email with any feedback you may have regarding my notes.
Book Recommendations
Helpful Links