Bernd Finkbeiner

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).

Examination Board

I am currently the chairman of the examination boards for Computer Science B.Sc., M.Sc. and Applied Computer Science, for Computer and Communications Technology, and for Embedded Systems. If you have an examination issue or a question that needs to be addressed by one of these boards, please send me a message or see me in my office hour (Wednesdays, 3-4pm).