Projects − Lukas Convent

Projekte

Datum	Name	Beschreibung
2024-04	Eskuel Suite	Lerne SQL im Browser!
2023-12	MaInLab	Lernplattform für Themen aus der Informatik und Mathematik, z.B. zu Datenbanken, Computernetzen, imperativer Programmierung
2020-04	Flanelly: Einen Flow Analyzer in Rust programmieren	Dies ist ein Programmierprojekt, das an Studierende ausgegeben wurde, um sowohl ihr Wissen zur Flow Analysis als auch zu Rust zu erproben.
2020-03	Doo Bee Doo Bee Doo	Publikation im Journal of Functional Programming, mit meinen Co-Autoren Sam Lindley, Conor McBride und Craig McLaughlin
2020-03	Interaktives Theorembeweisen: Eine Einführung in den Coq-Beweisassistenten	Präsentiert als Teil der Sichere Software-Vorlesung, die 2019 von Martin Leucker an der ISP in Lübeck gelehrt wurde
2019-01	Adaptives Effekt-Handling in Frank	Poster-Beitrag für die Student Research Competition auf der POPL'19-Konferenz (gewann den 3. Platz)
2018-11	TeSSLa: Zeit- und Strombasierte Spezifikationssprache	Publikation auf der SBMF'18-Konferenz, mit meinen Co-Autoren Sebastian Hungerecker, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma
2017-08	Verbesserung einer Modularen Effektorientierten Programmiersprache	M.Sc.-Abschlussarbeit (gewann den MSc Informatics Dissertation Prize)
2017-03	Monaden und ihre Anwendungen in der Programmierung	Ausarbeitung
2017-01	Software Transactional Memory in Haskell	Ausarbeitung
2016-11	Quantenprogrammierung in Haskell einbetten	Ausarbeitung
2016-11	Quanten-Bit-Commitment	Ausarbeitung
2016-08	Kompositionale und Namenslose Formalisierung von HOcore	B.Sc.-Abschlussarbeit
2016-01	Trends in der Softwaresynthese	Seminarbeitrag
2015-06	Monadisches Parsen in Haskell	Proseminar-Beitrag
2011-08	mycms	Einfaches CMS mit Fokus auf eine puristische und (leicht übermäßig) erweiterbare Architektur (nach 2011 eingestellt, in PHP 5 geschrieben)