Michael Levet

Contact Information

  • Email Me: firstname (dot) lastname (at) colorado (dot) edu

Research Interests

  • Pure Math: Algebraic Combinatorics, Computational Group Theory, Computational Complexity, Quantum Computation, Spectral Graph Theory
  • Interdisciplinary: Microeconomic Theory, Game Theory

Publications:

  • Master's Thesis: “Graph Homomorphisms and Vector Colorings
  • Activity in Boolean Networks” - (with Abhijin Adiga, Hilton Galyean, Chris J. Kuhlman, Henning S. Mortveit, and Sichao Wu), Journal of Natural Computing (2016).
  • “A Mechanism Design Approach For Influence Maximization” - (with Siddharth Krishnan, 2016 )
  • “Network Structure and Activity in Boolean Networks” - (with Abhijin Adiga, Hilton Galyean, Chris J. Kuhlman, Henning S. Mortveit, and Sichao Wu), Cellular Automata and Discrete Complex Systems (2015).

Teaching Experience:

  • University of Colorado- Boulder
    • Fall 2019: CSCI 3104 Algorithms (GTA)
    • Fall 2019: CSCI 3434 Theory of Computation (Lead GTA)
  • Johns Hopkins Center for Talented Youth
    • Summer 2018: Theory of Computation (TCOM) Instructor of Record
    • Summer 2018: Probability and Game Theory (GAME) Instructor of Record
    • Summer 2019: Fundamentals of Computer Science (FCPS) Instructor of Record (2 sessions)
  • University of South Carolina- Columbia:
    • Fall 2015:
      • CSCE 145 Algorithmic Design I (GTA for one lab section)
      • CSCE 355 Foundations of Computation (GTA)
    • Spring 2016:
      • CSCE 146 Algorithmic Design II (GTA for one lab section)
      • CSCE 551 Theory of Computation (GTA)
    • Summer 2016:
      • CSCE 355 Foundations of Computation (Instructor of Record)
      • Graduate Tutor for Math Tutoring Center
    • Fall 2016: Math 142 Calculus II (GTA for two lab and recitation sections)
    • Spring 2017: Math 141 Calculus I (GTA for two lab and recitation sections)
    • Summer 2017: CSCE 355 Foundations of Computation (Instructor of Record)
    • Fall 2017: Math 115 Precalculus (Instructor of Record)
    • Spring 2018: Math 122 Business Calculus (Instructor of Record)
    • Fall 2018: Math 122 Business Calculus (Instructor of Record- 3 sections)
    • Fall 2018: Math 170 Finite Mathematics (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)
    • Summer 2019: Math 111 College Algebra (Instructor of Record- 1 section)
  • Virginia Tech:
    • Fall 2014: CS 4124 Theory of Computation (UTA)
    • Spring 2015: CS 4114 Formal Languages and Automata Theory (UTA)
  • 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