Skip to content
Snippets Groups Projects
Select Git revision
  • master default
  • fix-bibtex-unicode-filter
  • dataspy-hacking
3 results
Blame Permalink
2018-01-29-grohens.md 458 B 
title: Welcome to Theotime Grohens, internship working on JaVert.

We are very happy to welcome Theotime Grohens who will be spending three months with the group at the beginning of the year.

Theotime is currently a Master student at the École normale supérieure school in Paris, working with Pierre Senellart. While at the group, Theo will work on extending JaVerT, the JavaScript Verification Toolchain.