PGP: F3B1 E550 32D4 E264 E640 335F 1162 46AC 3D72 D9F9
Welcome to my website! Here you can find links to my social media as well as a short run down of some projects I’ve been working on over the years:
- Verified Approximation Algorithms – Load Balancing, Bin Packing, and Set Cover in Isabelle/HOL (2019-2021).
- Compiling Linux From Scratch on an ASUS Eee PC 1015PN (2021).
- hexiscript – A dynamically typed scripting language written in OCaml (2019).
- GKey – A German keyboard layout for TempleOS (2017).
- TempleOS Games: Minesweeper and TicTacToe (2017).
- Interdisciplinary Project: Using NER to identify firm-city links from firms’ annual reports (2021-2022)
Papers
- Robin Eßmann, Tobias Nipkow, Simon Robillard, Ujkan Sulejmani. Verified Approximation
Algorithms. Logical Methods in Computer Science, March 1, 2022, Volume 18, Issue 1.
https://doi.org/10.46298/lmcs-18(1:36)2022 - Robin Eßmann, Tobias Nipkow, Simon Robillard. Verified Approximation Algorithms. In
Automated Reasoning (IJCAR 2020), LNCS, 2020. https://doi.org/10.1007/978-3-030-51054-1_17