## Lucas Escot {#me}

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
in dependently-typed languages --- namely, [Agda](https://github.com/agda/agda).

## Notes {#notes}

```{=html}
{{ $notes }}
```

## Miscellaneous {#misc}

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), [l.f.b.escot@tudelft.nl](mailto:l.f.b.escot@tudelft.nl)
GPG     [lescot.gpg](/lescot.gpg)
GH      [flupe](https://github.com/flupe)
SRHT    [flupe](https://sr.ht/~flupe)
------- ------------------------------------------------------------------------------------------------

## Publications

```{=html}
{{ $publications }}
```