2022-09-25 19:51:43 +00:00
|
|
|
## Lucas Escot {#me}
|
2022-09-22 10:03:58 +00:00
|
|
|
|
|
|
|
|
As of 2022, I am a PhD student at [TU Delft](https://tudelft.nl),
|
|
|
|
|
in the [Programming Languages Group](https://pl.ewi.tudelft.nl/),
|
|
|
|
|
under the supervision of Jesper Cockx. My work revolves around generic programming
|
2022-09-25 19:51:43 +00:00
|
|
|
in dependently-typed languages --- namely, [Agda](https://github.com/agda/agda).
|
2022-09-22 10:03:58 +00:00
|
|
|
|
2022-09-25 19:51:43 +00:00
|
|
|
## Miscellaneous
|
2022-09-22 10:03:58 +00:00
|
|
|
|
2022-09-25 19:51:43 +00:00
|
|
|
On my spare time, I do a fair bit of drawing. Some of it may be found over at [acatalepsie.fr](https://acatalepsie.fr).
|
|
|
|
|
Along with a group of friends, I am part of the [sbi.re](https://sbi.re) network,
|
|
|
|
|
under which we self-host a bunch of services.
|
|
|
|
|
|
|
|
|
|
## Contact/Links {#contact}
|
|
|
|
|
|
|
|
|
|
------- ---------------------------------------
|
|
|
|
|
Mail [lucas@escot.me](mailto:lucas@escot.me)
|
|
|
|
|
GPG [lescot.gpg](/lescot.gpg)
|
|
|
|
|
GH [flupe](https://github.com/flupe)
|
|
|
|
|
SRHT [flupe](https://sr.ht/~flupe)
|
|
|
|
|
------- ---------------------------------------
|
|
|
|
|
|
|
|
|
|
## Publications
|
|
|
|
|
|
|
|
|
|
{{ $publications }}
|
