Erich Gradel

Erich Gradel is Professor for Mathematical Foundations of Computer Science at RWTH Aachen University in Germany.