Building a tool in Haskell for dynamical systems research.
I am a senior scientist at GrammaTech, working on static analysis, reverse engineering, and type theory. In a former life, I was a mathematician working in differential geometry.
Email:
About
Updates on the trials and tribulations of developing an interactive,
performace-critical, GUI-based application in Haskell.