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.
FOSSACS
FoSSaCS 2022, LNCS 13242ETAPS 2022
CSL
30th EACSL Annual Conference on Computer Science Logic (CSL 2022)30th EACSL Annual Conference on Computer Science Logic (CSL 2022)
FST&TCS
41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science
NeurIPS
Advances in Neural Information Processing Systems 34 (NeurIPS 2021)Thirty-fifth Conference on Neural Information Processing Systems
IEEE VIS
IEEE Transactions on Visualization and Computer GraphicsIEEE VIS 2021
ATVA
LNCS19th International Symposium on Automated Technology for Verification and Analysis (ATVA 2021)
ATVA
19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, ProceedingsATVA 2021
ATVA
Proceedings of the 19th International Symposium on Automated Technology for Verification and Analysis (ATVA 2021)19th International Symposium on Automated Technology for Verification and Analysis (ATVA 2021)
RV
LNCSRuntime Verification - 21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, Proceedings