Join us on March 17th from 5:00-6:00 pm in FMCRB 1050 for a seminar given by Dr. Jeannin! Dr. Jean-Baptiste Jeannin is an Assistant Professor in the Department of Aerospace Engineering at the University of Michigan, Ann Arbor. His research focuses on formal verification of cyber-physical systems and computational schemes, particularly applied to aerospace systems, as well as the design and analysis of programming languages. Formal verification provides a computer-checked proof that the software satisfies a given property, thus providing the highest level of verification and validation. In this talk, he will show some recent results of his group on formally verifying several algorithms from the automobile and aerospace industries.

Sign up for the seminar: bit.ly/VerificationSeminar
Note: Pizza will be provided