Bernd Finkbeiner

Bernd Finkbeiner

Reactive Systems Group
Universität des Saarlandes
Phone: +49 681 302 5651
eMail: finkbeiner at cs.uni-sb.de
Building: E1 1 Room: 1.11


I am a professor in computer science at Saarland University. I am currently the chairman of the examination board. If you have questions regarding the examination regulations please come to my office hours on Wednesdays 3-4pm.
I am co-chair of the program committee of ATVA 2015, member of the program committees of RV 2016 and SYNT 2016, and member of the editorial board of Acta Informatica.

New! Marktoberdorf lectures on reactive synthesis
New! Tutorials at RV 2016 and FMCAD 2016 on hyperproperties

Research

I am interested in computer systems and protocols that are reactive in nature: systems of concurrent processes that interact with each other and with their environment over a possibly infinite run. Parallelism and nondeterminism make it difficult to design such systems correctly. My research concerns computer-aided methods that derive implementations from formal specifications (synthesis) and that prove that a given implementation satisfies a logical property (verification).

Publications

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

-2004