ABSTRACT:

Formal methods is the theory and practice of using mathematically precise specification and proof to demonstrate properties of hardware and software systems. We will provide a high level overview of popular techniques in the field and then detail concrete instantiations of these techniques as they are employed at Sandia Laboratories.

BIO:

After working in industry for over a decade, John Bender graduated with a PhD from UCLA in 2019 from the Programming Languages and Systems group, advised by Jens Palsberg. His research focuses on concurrency, formal language models, and software verification. He is a coauthor of the formal Java memory model.

Hosted by Professor Paul Eggert

3400 Boelter Hall + Via Zoom Webinar