معرفی
Hugo Herbelin is a Researcher at Inria, a French national research institute for digital science and technology. He is a 2024 winner of the ERC Synergy Grant for the MALINCA project, which aims to bridge the linguistic gap between mathematicians and machines through fundamental research in mathematics, computer science, logic, and linguistics.
- Affiliation: Inria (since at least 2007)
- Project Teams: GraphDeco, Picube, QInfo, Sémagramme, Sierra, Willow (2024); previously involved in Alice, Asap, Cascade, etc.
His research focuses on formal logic, proof assistants, and mathematical foundations of computing, with applications in natural language processing and software verification. The MALINCA project emphasizes both theoretical advancements and practical implementations to create natural language interfaces for formal reasoning systems.
Scientific Awards:
- 2024: ERC Synergy Grant (MALINCA project)
No explicit information about students, email addresses, or specific publications was found in the provided texts. His career spans multiple interdisciplinary projects, particularly at the intersection of mathematics and computer science.
