Event Title: OR
Speaker Last Name:    OR
Year: (yyyy)

Mathematics Colloquium


Date:  Tuesday, October 10, 2017

Title:  Logic in computing

Abstract:  In the software industry, engineers do formal logic day in and day out, whether they realize that or not. As a rule, they did not study logic. Instead, they studied calculus which they use rarely, if ever. I will try to illustrate why logic is so relevant to software engineering and why it is hard for software engineers to pick it up. I will speak also about logic applications in computer science, computer engineering and, time permitting, mathematics.

Speaker:  Yuri Gurevich
Institution:  Microsoft Research


Back to current Colloquium List
Back to UM Math seminars page


Department of Mathematics   |   2074 East Hall   |  530 Church Street  
Ann Arbor, MI 48109-1043
Phone: 734.764-0335   |   Fax: 734.763-0937

The page last modified
Site errors should be directed to