Bernd Finkbeiner

Bernd Finkbeiner

Reactive Systems Group
Universität des Saarlandes
Phone: +49 681 302 5632
eMail: finkbeiner at cs.uni-sb.de
Building: E 1 3 Room: 506
Coordinates: N 49.257833° E 7.045144°

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 2015 and SYNT 2015, and member of the editorial board of Acta Informatica.

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

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

-2004