Primary Job Title Research Lead Primary Organization 
Galois
Location Portland, Oregon, United States Regions West Coast, Western US Gender Male
LinkedIn View on LinkedIn
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, automated reasoning, program analysis, and a bit
of subjective exploration into what makes languages pleasant to use. At Galois, he leads projects focused on applied formal methods, with a particular emphasis on the verification of cryptographic software.
