Dániel Horpácsi

Dániel Horpácsi is an assistant professor at Eötvös Loránd University. He leads a team that investigates proven-correct refactoring for functional languages, and he keeps exploring the pragmatics of using formal methods to make practical software tools more reliable. As part of this vision, he believes that proof assistants and matching logic will play a significant role in creating trustworthy language tools, so he founded a project that mechanizes matching logic in Coq.