2023-01-25 20:29:49 +00:00
|
|
|
---
|
|
|
|
|
title: Lucas Escot
|
|
|
|
|
description: Professional page of Lucas Escot
|
|
|
|
|
---
|
2022-09-22 10:03:58 +00:00
|
|
|
|
2023-01-25 20:29:49 +00:00
|
|
|
## Lucas Escot {#me}
|
2022-09-22 10:03:58 +00:00
|
|
|
|
2023-01-26 17:00:24 +00:00
|
|
|
As of 2023, I am a PhD student at [TU Delft], in the [Programming Languages
|
2023-01-25 20:29:49 +00:00
|
|
|
Group][PL], under the supervision of Jesper Cockx. My work revolves around
|
|
|
|
|
generic programming in dependently-typed languages --- namely, [Agda].
|
2023-01-26 17:00:24 +00:00
|
|
|
Lately, I've also been spending time on incremental, parallel embedded build
|
|
|
|
|
systems.
|
2022-10-05 06:42:34 +00:00
|
|
|
|
2023-01-25 20:29:49 +00:00
|
|
|
[TU Delft]: https//tudelft.nl
|
|
|
|
|
[PL]: https://pl.ewi.tudelft.nl/
|
|
|
|
|
[Agda]: https://github.com/agda/agda
|
2022-10-05 06:42:34 +00:00
|
|
|
|
2022-09-25 19:51:43 +00:00
|
|
|
## Contact/Links {#contact}
|
|
|
|
|
|
2023-01-25 20:29:49 +00:00
|
|
|
-------- ------------------------------------------------------------------------------------------------
|
|
|
|
|
Mail [lucas@escot.me](mailto:lucas@escot.me), [l.f.b.escot@tudelft.nl](mailto:l.f.b.escot@tudelft.nl)
|
|
|
|
|
Mastodon [@baboum@mastodon.social](https://mastodon.social/@baboum)
|
|
|
|
|
GPG [lescot.gpg](/static/lescot.gpg)
|
|
|
|
|
GH [flupe](https://github.com/flupe)
|
|
|
|
|
SRHT [flupe](https://sr.ht/~flupe)
|
|
|
|
|
-------- ------------------------------------------------------------------------------------------------
|
2022-09-25 19:51:43 +00:00
|
|
|
|
2023-01-26 17:00:24 +00:00
|
|
|
## Log {#log}
|
|
|
|
|
|
2023-09-07 13:00:05 +00:00
|
|
|
- Attended [IFL'23] in Braga, Portugal.
|
|
|
|
|
- Attended [TYPES'23] in Valencia, Spain.
|
2023-09-08 13:04:21 +00:00
|
|
|
- Attended [AIMXXXVI] in Delft, Netherlands.
|
2023-01-26 17:00:24 +00:00
|
|
|
- Attended [AIMXXXI] in Edinburgh, Scotland.
|
|
|
|
|
- Attended [ICFP'22] in Ljubjana, Slovenia.
|
|
|
|
|
- Attended [OPLSS'22] in Eugene, Oregon.
|
|
|
|
|
|
2023-09-07 13:00:05 +00:00
|
|
|
[IFL'23]: https://ifl23.github.io/
|
|
|
|
|
[TYPES'23]: https://types2023.webs.upv.es/
|
2023-09-08 13:04:21 +00:00
|
|
|
[AIMXXXVI]: https://wiki.portal.chalmers.se/agda/Main/AIMXXXVI
|
2023-01-26 17:00:24 +00:00
|
|
|
[AIMXXXI]: https://wiki.portal.chalmers.se/agda/Main/AIMXXXI
|
|
|
|
|
[ICFP'22]: https://icfp22.sigplan.org/
|
|
|
|
|
[OPLSS'22]: https://www.cs.uoregon.edu/research/summerschool/summer22/
|
|
|
|
|
|
|
|
|
|
## Miscellaneous {#misc}
|
|
|
|
|
|
|
|
|
|
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.
|
|
|
|
|
|
|
|
|
|
[acatalepsie.fr]: https://acatalepsie.fr
|
|
|
|
|
[sbi.re]: https://sbi.re
|
|
|
|
|
|
2022-09-25 19:51:43 +00:00
|
|
|
## Publications
|
