
pit-claudel.fr/clement
Preview meta tags from the pit-claudel.fr website.
Linked Hostnames
42- 23 links topit-claudel.fr
- 16 links togithub.com
- 9 links todoi.org
- 4 links topldi24.sigplan.org
- 4 links topopl23.sigplan.org
- 3 links toproofs.swiss
- 2 links tocapra.cs.cornell.edu
- 2 links tocoq-workshop.gitlab.io
General Meta Tags
7- titleClément Pit-Claudel
- charsetutf-8
- viewportwidth=device-width, initial-scale=1
- descriptionI'm an assistant professor at EPFL. My research focuses on programming languages, compilers, and formal verification; my broader interests include systems engineering, hardware design languages, security, performance engineering, and type theory.
- Cache-Controlno-cache, no-store, must-revalidate
Link Tags
4- preconnecthttps://fonts.gstatic.com
- preloadhttps://fonts.googleapis.com/css2?family=Overpass:ital,wght@0,300;0,600;0,900;1,300;1,600;1,900&display=swap
- stylesheetstyle.css
- stylesheethttps://fonts.googleapis.com/css2?family=Overpass:ital,wght@0,300;0,600;0,900;1,300;1,600;1,900&display=swap
Links
101- http://adam.chlipala.net
- http://creativecommons.org/licenses/by-sa/4.0
- http://i-cav.org/2021/organization
- http://synchronicity.sourceforge.net
- https://2018.splashcon.org/track/splash-2018-Student-Volunteers