On Tech, Math, Teaching
Date | Name | Description |
---|---|---|
2024-04 | Eskuel Suite | Learn SQL in the browser! |
2023-12 | MaInLab | Learning material for math and computer science (currently: Databases and computer networks) |
2020-03 | Doo Bee Doo Bee Doo | Publication in the Journal of Functional Programming, with my co-authors Sam Lindley, Conor McBride, and Craig McLaughlin |
2020-03 | Interactive Theorem Proving: An Intro to the Coq Proof Assistant | Presented as part of the dependable software course taught by Martin Leucker at ISP, Lübeck in 2019 |
2019-01 | Adaptive Effect Handling in Frank | Poster submission for Student Research Competition at POPL'19 conference (won 3rd place) |
2018-11 | TeSSLa: Temporal Stream-Based Specification Language | Publication at SBMF'18 conference, with my co-authors Sebastian Hungerecker, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma |
2017-08 | Enhancing a Modular Effectful Programming Language | M.Sc. Thesis (won MSc Informatics Dissertation Prize) |
2017-03 | Monads and their Applications to Programming | Coursework report |
2017-01 | Software Transactional Memory in Haskell | Coursework report |
2016-11 | Embedding Quantum Programming in Haskell | Coursework report |
2016-11 | Quantum Bit Commitment | Coursework report |
2016-08 | Compositional and Nameless Formalization of HOcore | B.Sc. Thesis |
2016-01 | Trends in Software Synthesis | Seminar contribution |
2015-06 | Monadic Parsing in Haskell | Proseminar-Beitrag |
2011-08 | mycms | Simple CMS with focus on a puristic and (slightly overly) extensible architecture (discontinued after 2011, written in PHP 5) |