nmtdonor210.3.17

 

himg_default_03.jpg

Computer Science Faculty Candidate Seminar

Date: Tue. 10 Mar, 2015 5:00 pm - 6:30 pm
Duration: 1 Hour 30 Minutes
Location: Cramer Hall

Jay McCarthy is a candidate for a faculty position in the Computer Science and Engineering Department. As assistant professor at Brigham Young University, McCarthy will present a special seminar, titled "Verification for Everyday Programming." Most programmers associate formal verification and mechanical theorem proving with formalizing mathematics, high assurance software (such as aerospace control systems), and hardware checking, but not their own work. Yet, recently these approaches have found success in more commonplace applications such as C compilers and relational databases. In this talk, McCarthy will describe his forays into this area with an emphasis on how formal verification creates practical benefits that would not have been available if not for the reliability of the theorems. 5 p.m. in Cramer 124. 

Search Calendar