Prof. Dr. Blanchette, Jasmin, Leiter der Lehr- und Forschungseinheit für Theoretische Informatik und Theorembeweisen an der LMU München, hat einen ERC Consolidator Grant für sein Projekt Nekoka: Realizing the Promise of Higher-Order SMT and Superposition for Interactive Verification erhalten. Der Grant ermöglicht ihm den Aufbau eines Teams, das die Automatisierung von Beweisen in interaktiven Beweisassistenten und anderen formalen Verifikationswerkzeugen vorantreiben wird.