No longer looking for work in static analysis, compiler testing, or software quality assurance. I’m a published authority on static analysis, compiler testing, artificial intelligence, and mathematical logic.
Top Questions
No questions with score of 5 or more
Top Answers
stackoverflow.com
apple.stackexchange.com
scifi.stackexchange.com
tex.stackexchange.com
mathoverflow.net