Inaugural Lectures - Prof. Sanidhya Kashyap and Prof. Clément Pit-Claudel
Event details
| Date | 19.11.2024 |
| Hour | 18:00 › 19:30 |
| Speaker | Prof. Sanidhya Kashyap, Prof. Clément Pit-Claudel |
| Location | |
| Category | Inaugural lectures - Honorary Lecture |
| Event Language | English |
Date: Tuesday 19 November 2024
Program:
Registration: Click here
****************************************************************
Prof. Sanidhya Kashyap
Tailoring Systems Software for Tomorrow's Needs
Abstract
Hardware is the essential component that drives all computing, but it's software that makes hardware valuable and efficient. One important type of software is the operating system (OS), which manages how applications communicate with the hardware. Traditionally, OS design has focused on being general enough to work across various platforms. However, this broad approach is now struggling to keep up with modern applications that need more specialized solutions.
In this talk, I will introduce techniques that strike a balance between specialization and generalization. I will also show how these approaches can make the development process smoother and provide a strong foundation for future systems software.
About the speaker
Sanidhya Kashyap is a systems researcher and a tenure-track Assistant Professor in computer science at EPFL. His research focuses on designing robust and scalable systems software. He is the recipient of the Vmware Early Career Faculty Award in 2021. He received his Ph.D. degree from Georgia Tech in 2020.
****************************************************************
Prof. Clément Pit-Claudel
A Science of Software?
Abstract
Almost every aspect of our lives is touched by software. Where we live, who we meet, what we eat, how we work, what we learn, how we play are all influenced, directly or indirectly, by computer programs. Yet these programs are surprisingly fickle and unreliable: software failures cause enormous damage every day, from mundane to life-threatening. How did we come to trust our lives to such untrustworthy artifacts, and why is software so uniquely broken?
In this talk, I will approach this question through the lens of formal methods, a field of computer science that studies programs as mathematical objects. I will argue that the practice of software construction owes too much to craft and too little to science, and I will present vignettes from my lab's research to illustrate the deep connection that unites software and mathematics: all software can be distilled into mathematical formulae that lend themselves to precise reasoning and proofs.
About the speaker
Clément Pit-Claudel is a tenure-track Assistant Professor in computer science at EPFL and heads the Systems and Formalisms lab, which studies programming languages, formal methods, and systems engineering. He received his PhD from MIT in 2022.
Program:
- 18:00-18:05: Welcome and introduction by Prof. Rüdiger Urbanke, Dean of the IC School
- 18:05-18:35: Inaugural Lecture Prof. Sanidhya Kashyap
- 18:35-18:45: Q & A
- 18:45-18:50: Introduction by Prof. Rüdiger Urbanke, Dean of the IC School
- 18:50-19:20: Inaugural Lecture Prof. Clément Pit-Claudel
- 19:20-19:30: Q & A
- 19:30-20:00: Apéritif in the hall outside CO1 - Passerelle CO 2nd Fl.
Registration: Click here
****************************************************************
Prof. Sanidhya Kashyap
Tailoring Systems Software for Tomorrow's Needs
Abstract
Hardware is the essential component that drives all computing, but it's software that makes hardware valuable and efficient. One important type of software is the operating system (OS), which manages how applications communicate with the hardware. Traditionally, OS design has focused on being general enough to work across various platforms. However, this broad approach is now struggling to keep up with modern applications that need more specialized solutions.
In this talk, I will introduce techniques that strike a balance between specialization and generalization. I will also show how these approaches can make the development process smoother and provide a strong foundation for future systems software.
About the speaker
Sanidhya Kashyap is a systems researcher and a tenure-track Assistant Professor in computer science at EPFL. His research focuses on designing robust and scalable systems software. He is the recipient of the Vmware Early Career Faculty Award in 2021. He received his Ph.D. degree from Georgia Tech in 2020.
****************************************************************
Prof. Clément Pit-Claudel
A Science of Software?
Abstract
Almost every aspect of our lives is touched by software. Where we live, who we meet, what we eat, how we work, what we learn, how we play are all influenced, directly or indirectly, by computer programs. Yet these programs are surprisingly fickle and unreliable: software failures cause enormous damage every day, from mundane to life-threatening. How did we come to trust our lives to such untrustworthy artifacts, and why is software so uniquely broken?
In this talk, I will approach this question through the lens of formal methods, a field of computer science that studies programs as mathematical objects. I will argue that the practice of software construction owes too much to craft and too little to science, and I will present vignettes from my lab's research to illustrate the deep connection that unites software and mathematics: all software can be distilled into mathematical formulae that lend themselves to precise reasoning and proofs.
About the speaker
Clément Pit-Claudel is a tenure-track Assistant Professor in computer science at EPFL and heads the Systems and Formalisms lab, which studies programming languages, formal methods, and systems engineering. He received his PhD from MIT in 2022.
Practical information
- Informed public
- Registration required