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.