Speaker: John Bender
Affiliation: Sandia National Laboratories
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
Date/Time:
Date(s) - Mar 10, 2022
4:00 pm - 5:45 pm
Location:
3400 Boelter Hall
420 Westwood Plaza Los Angeles California 90095