MS student at the University of California, Santa Barbara
@ethankuefner on Twitter.
http://ethankuefner.com/
My research interests are currently in programming language design and abstract interpretation. My current research efforts involve analysis of hardware and JavaScript, and finding places to insert SMT solvers. Other interests include theory of computation and complexity theory, algebra, and linguistics (primarily phonology and morphology).