Hugo Herbelin

Hugo Herbelin is the 2024 winner of the ERC Synergy Grant for the MAthematicae LINgua franCA (MALINCA) project, also supported by Philippe de Groote, Paul-André Melliès and Carlos Simpson.

If we had to sum up our project in the form of a slogan, we would say that the ultimate code for interacting with proof assistants must be natural language. Achieving such a goal requires both applied and fundamental research in mathematics, computer science, logic and linguistics.

Watch his interview with Philippe de Groote

MALINCA: the project that aims to bridge the linguistic gap between the mathematician and the machine