Lukas Convent
On Tech, Science and Learning
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, computer networks, imperative programming) |
| 2020-04 | Flanelly: Programming a Flow Analyzer in Rust | This is a programming lab that was handed out to students who were instructed in this course on both Flow Analysis and Rust. |
| 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) |