About Me

    Michael
  • I am a waning fourth year PhD student at the University of Washington, advised by Paul Beame. Prior to that, I completed my MS at UC Berkeley working with Professor Avishay Tal. I am broadly interested in theoretical computer science, but have a particular affinity for property testing, Boolean function analysis, and complexity theory.
  • Recently, I have become an avid climber, but I also enjoy racket sports, having been president of Cal's table tennis club (CalTTC) and done a bit of competing myself in the past.

  • Email: mdwhit (at) cs (dot) washington (dot) edu

Research

For everything, see my Google Scholar. Here are the more recent ones!

  • Communication Complexity of Collision Finding and Cutting Planes Proof Complexity of (Concise) Pigeonhole Principle (link)
    • joint work with Paul Beame.
    • We proved a fun collection of results about how much communication is required to find a collision on an input where there is guaranteed to be one!
  • Quantum Time-Space Tradeoffs for Matrix Problems (link)
  • On the Rational Degree of Boolean Functions and Applications (link)
  • Searching for Regularity in Bounded Functions (link)
    • joint work with Siddharth Iyer
    • We spent some time trying to find subspaces for which bounded functions become pseudorandom.
  • Junta Distance Approximation with Sub-Exponential Queries (link)
    • joint work with Vishnu Iyer and Avishay Tal
    • Ever wondered how many (input, output) pairs from your function f you have to look at to estimate how close f is to only depending on a few of its inputs? So did we. This work gives an improved algorithm for answering this question for Boolean functions. If you are really interested in questions like this, you can check out my master's thesis, which starts with a survey of the previous work done on junta testing and (almost) all its variants.
    • Here's a talk I gave: link and here is slightly more detailed talk that Avishay gave: link

Teaching

  • Berkeley:
    • I spent most of my teaching energy at Berkeley as (head) TA for Berkeley's course on probability and stochastic processes, EECS 126. I typed up some notes for the class, but they are most certainly far from perfect.
  • Washington:
    • CSE 431: (Spring 2022, Spring 2024, Winter 2025) Intro to Theory of Computation.
    • CSE 493Q: (Spring 2023) Intro to Quantum Computation.
    • CSE 312: (Summer 2024, Autumn 2024) Foundations of Computing II.
I also started a blog recently, which you can find here. I plan on just talking about theoretical computer science and life there. Copied from Bootstrap Template