Lukas Convent

On Tech, Math, Teaching

Projects

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)