Speaker: Aaron Tomb
Research Lead, Software Correctness @Galois
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.