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

Comments are closed.