Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
Mon 18 Jan 2021 14:30 - 15:15 at PLMW - Session 0 Chair(s): Justin Hsu

In computer science, theoretical research often leads to impactful applications, and conversely, problems in real-world applications often lead to novel and healthy theoretical developments. When theoreticians move to tackle problems in a new application field, however, the collaborative and interdisciplinary nature of the required efforts can become major challenges. I will talk about my experience of expanding a research portfolio from theory to application, specifically from logic and category theory to safety and reliability of automated driving systems and other cyber-physical systems. The talk will feature technical contents, mainly from the work with Kohei Suenaga about transferring program logic to hybrid dynamics via nonstandard analysis, a collaboration that opened my eyes to the beauty and fun of application-driven theoretical research.

Mon 18 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:30 - 15:15: Session 0PLMW at PLMW
Chair(s): Justin HsuUniversity of Wisconsin-Madison, USA
14:30 - 15:15
Think Abstractly, Work Concretely
Ichiro HasuoNational Institute of Informatics, Japan
Media Attached