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.

Find Aaron Tomb at

Talk: Assuring Crypto Code with Automated Reasoning

Other talks from the same track

Pulumi Co-founder & CEO, Previously @Microsoft Director of Engineering for Languages/Compilers
High Performance & Low Latency Specialist
Elm Pioneer & Software Engineer @noredink
Hypothesis Maintainer & Software Developer @WellcomeTrust
Core Developer Behind Porting SQL Server to Linux @Microsoft