| CARVIEW |
Select Language
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Sat, 11 Oct 2025 12:53:42 GMT
access-control-allow-origin: *
etag: W/"68ea5356-cad"
expires: Mon, 29 Dec 2025 06:20:40 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: 58F1:2685F2:849033:952673:69521B60
accept-ranges: bytes
age: 0
date: Mon, 29 Dec 2025 06:10:40 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210064-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1766988641.640241,VS0,VE210
vary: Accept-Encoding
x-fastly-request-id: 16c9d4cbe42ac6ba0611af02da367204c88d37ba
content-length: 1337
Home — Lukas Mulder
Lukas Mulder
Home
I am a PhD student under the supervision of Jana Wagemaker at the department of software science at the Radboud University. My research interests include formal methods in computer science. At the moment I’m working on Kleene algebra with hypotheses.
My master’s thesis has been in foundational computer science and category theory under the supervision of Paige North. The thesis concerns itself with the functorial nature of the enrichment of the category of algebras in the category of coalgebras as displayed in Coinductive control of inductive datatypes.
Writings
- Functoriality of Enriched Data Types (2025), joint with Paige North and Maximilien Peroux. [arXiv]
- The Functorial Nature of Enriched Data Types (2024), Master’s Thesis under supervision of Paige North. [pdf]
- Measuring Data Types (2024), joint with Paige North and Maximilien Peroux. [arXiv]
- Classifying Vector Bundles (2020), Bachelor’s Thesis under supervision of Jack Davies. [pdf]