• BS Computer Science, Texas A&M at College Station
• MS Computer Science, University of Texas at Austin
• Application Engineer, Semantic Designs (2008-current)

I build large-scale high-performance programming language analysis tools. On the language end, this is mostly lexing, parsing, and name resolution; I maintain Java and JCL front-ends. I also maintain much of our graphical user interfaces layered over the tools.

My background includes:

• automated theorem proving
• formal, computational, and philosophical logics
• algorithms and computation theory
• computer graphics and GPGPU