a person in the record
Jacques-Henri Jourdan
Supervised 1 doctoral student at Université Paris-Saclay; doctorate at Universite Paris Diderot-Paris VII in 2016 under Xavier Leroy; doctoral advisor Xavier Leroy on Wikidata.
Advisors
- Xavier Leroy2016 · Universite Paris Diderot-Paris VII · doctoral
Students1
- Xavier Denis“Vérification déductive de programmes Rust”2023 · Université Paris-Saclay · doctoral
Theses1
- “Verasco: a Formally Verified C Static Analyzer”2016 · Universite Paris Diderot-Paris VII · doctoral
also named on this thesis
- Xavier Leroyjury member
- Yves Bertotjury member
- Patrick Cousotjury member
- Roberto Di Cosmojury member
- Francesco Logozzojury member
- Antoine Minéjury member
- Tobias Nipkowjury member
- David Pichardiejury member
Cite this page
The record changes as sources are read again, so a citation says when the page was read.
bibtex
@misc{academicancestry_Q102457044,
author = {{Academic Ancestry}},
title = {{Jacques-Henri Jourdan: advisors and students}},
year = {2026},
url = {https://academicancestry.org/person/Q102457044},
note = {read on 2026-10-16}
}apa
Academic Ancestry. (2026, October 16). Jacques-Henri Jourdan: Advisors and students [Read on 2026-10-16]. https://academicancestry.org/person/Q102457044