AUC Logic Lectures: "Formal Methods in Computer Science" by Piotr Kazmierczak
How engineers use (modal) logic to solve hard problems
Piotr Kazmierczak will deliver this Logic Lecture titled "Formal Methods in Computer Science: How engineers use (modal) logic to solve hard problems" on Monday 15 April from 18.00 to 19.00 in the Common Room.
Event details of
AUC Logic Lectures: "Formal Methods in Computer Science" by Piotr Kazmierczak
- Date
- 15 April 2024
- Time
- 18:00 -19:00
- Location
- Amsterdam University College (AUC)
- Room
- 0.08 (Common Room)
Abstract
Cloud-age computer engineering is all about distributed systems, i.e. systems that are composed of hundreds and thousands of nodes that need to cooperate in order to work properly. In this talk, we will discuss common problems that arise in distributed systems, and we will see how formal logic—modal logic in particular—can be used to assist engineers in making sure that their designs and implementations are correct. We will, naturally, discuss building rafts, too, and illustrate with real-world tooling and demonstrations.
Speaker
- Senior Software Engineer at HashiCorp, specifically on the Nomad project.
Convenor
Dora Achourioti
