AZIEM CHAWDHARY: RESEARCH ENGINEER

Aziem Chawdhary has worked on the leading edge of static analysis and verification technology for the past ten years. During his doctoral studies he worked on theoretical and practical aspects of program analysis, developing novel algorithms for practical termination analysers for imperative programs. Aziem has worked with leading researchers in the static analysis community including colleagues at Queen Mary, University of London and Microsoft Research (which sponsored his PhD studies). He is interested in applying recent advances from the academic static analysis community to help programmers produce better quality software.

MARTIN ELLIS: SENIOR ENGINEER

Martin has over five years of commercial software development experience. He has built software for a variety of clients, including investment banks and providers of online gambling and mobile advertising services.
On joining Contemplate, he lead the technical team to deliver a number of projects as part of a Scottish Enterprise ‘Software Integrity Engineering’ contract. Martin holds a PhD from Newcastle University, where he wrote a dissertation on the application of formal methods to the development of compilers for reconfigurable hardware.

STEVEN HOLMES: SENIOR ENGINEER

Steven graduated in 2009 with a first-class degree in Computer Science from the University of Edinburgh, where he developed an interest in functional programming and program analysis. After graduating, he became a key contributor to the research project that launched Contemplate. Steven is currently working to develop and extend Contemplate’s static analysis technology and works closely with customers to apply it to their code bases.