Yuri Gurevich
LOGIC in computer science and software industry (and in mathematics, time permitting)
VCLA hosting a talk by Yuri Gurevich
| DATE: | Wednesday, September 18, 2019 |
| TIME: | 16:00 c.t. |
| VENUE: | Lecture room FAV 1, Favoritenstraße 9-11, 1040 Wien, RoomNo.: HB HEEG02 |
ABSTRACT
In software industry, engineers do formal logic day in and day out, even though they may not realize that. As a rule, they have not studied logic. Instead, they spent a lot of time studying calculus which they use rarely, if ever. I will try to illustrate why logic is relevant for software industry and why it is hard for software engineers to pick it up. (The story of logic in math departments is very different, peculiar and uncanny.) Short Bio: Yuri Gurevich is Professor Emeritus at the University of Michigan, recently retired from Microsoft Research where he worked 20 years as a Principal Researcher. He is ACM Fellow, Guggenheim Fellow, EATCS Fellow, a foreign member of Academia Europaea, and Dr. Honoris Causa of a Belgian and Russian universities.
CONTACT
Thomas Eiter
Yuri Gurevich, Univ. of Michigan
