Using Haskell since 2012
I am not currently seeking employment
Living in Sunnyvale, CA
I am interested in the application of heavyweight program analysis, synthesis, and transformation techniques to practical software engineering problems. My company Tarski Technologies is developing the first commercial program repair (automated bug-fixing) system.