search

coq / coq.github.io

Source files of the coq.inria.fr website
https://coq.inria.fr/
Other
15 stars 37 forks source link

Add entries for Kenji Maillard and Ana Borges #198

Closed mattam82 closed 2 years ago

mattam82 commented 2 years ago

Missing pictures

Zimmi48 commented 2 years ago

Postdoctoral student is slightly strange for Kenji IMHO. For myself, we have postdoctoral researcher. And for Emilio, "Inria Starting Researcher".

Zimmi48 commented 2 years ago

We should also ask them for pictures. And not forget to also add Tej Chajed and Olivier Laurent to the list.