Core Methods Team

Overview

The core methods team masters various formal methods on a scientific level. Moreover, most members of the core team are experienced in cooperation projects with academic and non-academic applications.

Prof. Dr. Jörg Rambau

Mathematik
Universität Bayreuth

Prof. Dr. Lars Grüne

Mathematik
Universität Bayreuth

Prof. Dr. Vadym Aizinger

Mathematik
Universität Bayreuth

Dr. Robert Baier

Mathematik
Universität Bayreuth

Dr. Michael Heinrich Baumann

Mathematik
Universität Bayreuth

Prof. Dr. Mario Bebendorf

Mathematik
Universität Bayreuth

Prof. Dr. Kurt Chudej

Mathematik
Universität Bayreuth

Dr. Agnes Cseh

Mathematik
Universität Bayreuth

Prof. Dr. Torsten Eymann

Informatik
Universität Bayreuth

Prof. Dr. Rainer Hegselmann

Philosophie
Universität Bayreuth, Frankfurt School of Finance & Management

Prof. Dr. Christian Knauer

Informatik
Universität Bayreuth

Prof. Dr. Peter Koltai

Mathematik
Universität Bayreuth

Prof. Dr. Sascha Kurz

Mathematik
Universität Bayreuth

Prof. Dr. Wim Martens

Informatik
Universität Bayreuth

Prof. Dr. Anton Schiela

Mathematik
Universität Bayreuth

Prof. Dr. Holger Wendland

Mathematik
Universität Bayreuth