Michael Klein

185
reputation

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.