Michael Klein

Florida

I'm an undergrad with interests in digraphs, complexity theory, logically constrained types, and optimization.

I've been mostly working with Haskell recently, but I'm also familiar with C, Mathematica, C++, and Python.