PhD Defense 👨🏻🏫
My PhD defense took place the 21st of June at IRIF.
- 📝 If you are interested in type systems, take a look at my thesis manuscript!
- 📊 You can also download the slides...
- 🎬 ... and the recording (audio only).
- ⚙️ You can try the web version of the prototype presented during my defense.