基本信息
views: 217
Career Trajectory
Bio
J’ai grandi dans une petite ville de l’Est de la France, Sermaize-les-Bains. J’ai fait mes classes préparatoires au Lycée Henri Poincaré de Nancy, comme Jean-Jacques Lévy (mais à « quelques » années de distance) ! Ensuite, j’ai intégré l’École Normale Supérieure de Cachan – Ker Lann (qui a conquis son indépendance depuis, devenant l’ENS Rennes). J’ai profité du programme Erasmus pour effectuer ma première année de Master à l’École Polytechnique Fédérale de Lausanne. Je suis ensuite retourné à Rennes pour terminer mon Master. Par pure coïncidence (non, je n’ai pas de compte en Suisse !), j’ai fait mon stage de deuxième année de Master à l’ETH Zürich, dans le groupe de Timothy ‘Mothy’ Roscoe qui était alors en train de développer le système d’exploitation Barrelfish : ce fut ma première grande aventure scientifique et une formidable aventure humaine. Pour ma thèse, je voulais me concentrer sur les aspects fondationnels de la programmation sans sacrifier le travail d’implémentation alors j’ai rejoint Conor McBride à l’Université de Strathclyde (Glasgow, Écosse). J’y ai appris énormément sur le whisky et, indirectement, sur la théorie des types dépendants.
Research Interests
Papers共 42 篇Author StatisticsCo-AuthorSimilar Experts
By YearBy Citation主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
Timothy Bourke,Delphine Demange,François Bobot,Lélio Brun, Raphaëlle Crubillé,Pierre-Evariste Dagand,Stefania Dumbrava, Benjamin Farinier, Aymeric Fromherz, Diane Gallois-Wong,Assia Mahboubi, Gabriel Radanne,
HAL (Le Centre pour la Communication Scientifique Directe) (2023)
Cited0Views0Bibtex
0
0
HAL (Le Centre pour la Communication Scientifique Directe) (2022)
Cited0Views0Bibtex
0
0
Pierre Nigron,Pierre-Évariste Dagand
CoRR (2019)
Cited0Views0EIBibtex
0
0
Artifact Digital Object Group (2019)
Load More
Author Statistics
#Papers: 38
#Citation: 2533
H-Index: 21
G-Index: 38
Sociability: 4
Diversity: 1
Activity: 0
Co-Author
Co-Institution
D-Core
- 合作者
- 学生
- 导师
Data Disclaimer
The page data are from open Internet sources, cooperative publishers and automatic analysis results through AI technology. We do not make any commitments and guarantees for the validity, accuracy, correctness, reliability, completeness and timeliness of the page data. If you have any questions, please contact us by email: report@aminer.cn