I like penguins and the occasional LaTeX programming. For my current work, it is probably best to check out
- flowR a program slicer and analyzer for the R programming language, as well as
- my OOPLSA '25 publication as well as the ASE '24 Tool Demonstration, and
- my portfolio website.
A (short and incomplete) list of my LaTeX packages you may find interesting:
- tikzpingus for drawing cute penguins
- fancyqr for creating nice QR codes
- xlistings as an opinionated extension of the
listingspackage - beamer-themes, a collection of beamer themes I used over the years
- uulm-cs-poster, an inofficial poster template for the SP institute at Ulm University
- latex-lambda-calculus-visualizer for nice and funky visualizations of lambda calculus terms
- code-animation for animating code listings in beamer
- TeXCHR, latex-underline, tikzdoggos, color-palettes, lithie-util, ...
Public Presentations
- my introduction to static analysis (en):
- slides on my eidi rep (de) and eidi recap (de):
More Presentations
- small episodes on recursion, heaps, traversals, and in-place merge sort (de):
- slides for my master's thesis with the interim presentation (en):
- slides on my seminar presentations trusting trust and gnu-parallel (en):
- slides on my latex introduction (de):
Public Documents
-
General
skywrath rulebook (wip, de) TikZ image collection (en) -
University
asq elaboration (en) latex introduction (de) eidi christmas sheet 2019 (de)