I’m a PhD student in computer science at MPI-SWS broadly interested in the theory and implementation of programming languages (from logical foundations all the way to the microarchitecture of the targeted hardware).
You can reach me at skehrli[at]mpi-sws[.]org. This is my Github.
¶Education
- PhD in Computer Science from the Max-Planck-Institute for Software Systems (ongoing).
- BSc in Computer Science from ETH Zürich (2021-2025).
- Exchange student at the University of Washington (2023-2024).
¶Research
As a research intern at UW, I designed and implemented a type system to prove the absence of resource leaks on collections of resources in Java. This is implemented as a checker in the excellent Java Checker Framework. Advised by Michael Ernst:
As a thesis intern at EPFL, I formalized a first-order arithmetic termed Grounded Arithmetic (based on the Grounded Deduction logic) in the Isabelle/Pure proof assistant. Besides the axiomatization of the logic and the arithmetic theory itself, I formalized a fair bit of basic arithmetic and embedded inductive datatypes into the natural numbers (using a Cantor tuple encoding), proving all required theorems in Grounded Arithmetic itself. Advised by Bryan Ford:
¶Teaching
- Teaching Assistant in Parallel Programming at ETH. For this one, I authored lecture notes and received the VIS Teaching Award for extraordinary commitment as a TA. Theory recaps and exercise solving for two classes of ~30 students each per week.
- Teaching Assistant in Algorithms & Datastructures at ETH. Theory recaps and exercise solving for a class of ~30 students each per week.