Hugo Herbelin

Hugo Herbelin, along with Philippe de Groote, Paul-André Melliès and Carlos Simpson are the 2024 winners of the ERC Synergy Grant for the MAthematicae LINgua franCA (MALINCA) project.

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.

Read the complete interview

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