Research Lead, Software Correctness
I have worked in Research and Development at Galois since 2007. My research interests include type systems, programming language semantics, automated program analysis, and defect detection. At Galois, I work as both a research engineer and project lead on efforts to develop and apply tools for automated or semi-automated formal verification of software. I also coordinate formal methods research across the company.
Dr. Tomb received his B.S., M.S., and Ph.D. in computer science from the University of California, Santa Cruz. His academic work focused on programming language theory, and particularly on the use of advanced programming language technology to improve software reliability. This involves type theory, formal methods, program analysis, and a bit of subjective exploration into what makes languages pleasant to use.
We take pride in personally connecting with all interested partners, collaborators and potential clients. Please email us with a brief description of how you would like to be connected with Galois and we will do our best to respond within one business day.