2022: ERC Advanced Grant for "HYPER"
2021: Busy Beaver Award für "Programmierung I"
Professor Bernd Finkbeiner, PhD, ist Faculty am CISPA und Professor für Informatik an der Universität des Saarlandes. Er promovierte 2003 an der Stanford Universität. Seit 2003 leitet er die Gruppe Reaktive Systeme, die 2020 Teil des CISPA wurde. Sein Forschungsfokus liegt auf der Entwicklung von verlässlichen Garantien für die Sicherheit und den Schutz von Computersystemen, einschließlich Spezifikation, Programmsynthese und -reparatur, sowie statische und dynamische Verifikation.
CAV
Proc. of the 27th International Conference on Computer Aided Verification (CAV 2015)
CAV
Proc. of the 27th International Conference on Computer Aided Verification (CAV 2015)
Correct System Design - Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings
Logical Methods in Computer Science
Proceedings of Fifth International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2014)
CAV
Proc. of the 26th International Conference on Computer Aided Verification (CAV 2014)
8th International Conference on Language and Automata Theory and Applications (LATA 2014)
SAT
Theory and Applications of Satisfiability Testing (SAT 2014)
TACAS
Proc. 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 14)
Proceedings of the 15th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'14)