Welcome!
<p>
I’m a computer science undergraduate student at ETH Zürich broadly interested in programming language theory, verification, and logic.
</p>
<p>
You can reach me at skehrli[at]ethz[.]ch. <a href="https://github.com/skehrli">This</a> is my Github.
</p>
<h2><a id="education" class="anchor" href="#education">¶</a>Education</h2><div class="outline-text-2" id="text-orgc5978b3">
<ul class="org-ul">
<li>BSc in Computer Science from <b>ETH Zürich</b> (2021-2025).</li>
<li>Exchange student at the <b>University of Washington</b> (2023-2024).</li>
</ul>
</div>
<h2><a id="research" class="anchor" href="#research">¶</a>Research</h2><div class="outline-text-2" id="text-org26e3304">
<ul class="org-ul">
<li><p>
Currently, I’m working on designing and implementing 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 <a href="https://github.com/typetools/checker-framework">Java Checker Framework</a>. Advised by <a href="https://homes.cs.washington.edu/~mernst/">Michael Ernst</a>:
</p>
<p>
<a href="https://github.com/skehrli/checker-framework">Resource Leak Checker For Collections</a>
</p></li>
</ul>
</div>
<h2><a id="teaching" class="anchor" href="#teaching">¶</a>Teaching</h2><div class="outline-text-2" id="text-org55e27b3">
<ul class="org-ul">
<li>Teaching Assistant in <i>Parallel Programming</i>. For this one, I wrote a <a href="https://online.fliphtml5.com/kxggl/swny/">course script</a> and received the <a href="https://inf.ethz.ch/news-and-events/spotlights/infk-news-channel/2023/05/2023-vis-teaching-awards.html">VIS Teaching Award</a> for extraordinary commitment as a TA. Theory recaps and exercise solving for two classes at ~30 students each per week.</li>
<li>Teaching Assistant in <i>Algorithms & Datastructures</i>. Weekly theory recaps and exercise solving for about ~25 students, grading their homework and co-supervising the final exam.</li>
</ul>
</div>
<h2><a id="projects" class="anchor" href="#projects">¶</a>Projects</h2><div class="outline-text-2" id="text-orgd099125">
<ul class="org-ul">
<li><p>
Before starting my undergrad, I was learning about ML algorithms in my free time. To understand neural networks better, I implemented a small neural network library in Python, using only few frameworks and implementing things like backpropagation from scratch, which was a great exercise. Later, during my studies, I added support for CNN’s (convolution and pooling layers), again with their own backpropagation implementation and rewrote the library in Cython, which transpiles to C for better performance:
</p>
<p>
<a href="https://github.com/skehrli/neuronetlib">Neuronetlib</a>
</p></li>
<li><p>
For a compiler class I wrote a simple, unoptimized compiler for (a large subset of) Java in Java:
</p>
<p>
<a href="https://github.com/skehrli/MiniJava_compiler">MiniJava Compiler</a>
</p></li>
</ul>
</div>