Lucas Escot

As of 2023, I am a PhD student at TU Delft, in the Programming Languages Group, under the supervision of Jesper Cockx. My work revolves around generic programming in dependently-typed languages — namely, Agda. Lately, I’ve also been spending time on incremental, parallel embedded build systems.

Contact/Links

Mail lucas@escot.me, l.f.b.escot@tudelft.nl
Mastodon @baboum@mastodon.social
GPG lescot.gpg
GH flupe
SRHT flupe

Log

Miscellaneous

On my spare time, I do a fair bit of drawing. Some of it may be found over at acatalepsie.fr, where I also keep my rarely-updated blog. Along with a group of friends, we are behind the sbi.re network, under which we self-host a bunch of services.

Publications