Runtime Vеrification
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.
This person is not in any offices
Runtime Vеrification
Runtime Vеrification is a dynamic software analysis techniques to automatically detect bugs and errors of a software system.