Aaron Tomb

Principal Researcher, 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.