I’m interested in improving the best practices of the software development community. I’m a strong believer in formal methods and the use of mathematics and logic as disciplines to increase the quality and robustness of software.