Theory and Logic Group


picture of Bernhard Gramlich, (c) Martin Gramlich

Bernhard Gramlich, 1959–2014

On June 3 our colleague and friend Bernhard Gramlich passed away.

After studying computer science in Karlsruhe and Kaiserslautern, Bernhard spent a few years as post-doc at INRIA Lorraine (Nancy). In 1998 he joined our university and became Associate Professor in 2000. His interests in research and teaching centered around term rewrite systems and automated equational reasoning. His career was interrupted one year ago when he was diagnosed with MSA, an aggressive incurable nerve disease.

We have lost an enthusiastic scientist, an engaged teacher and one of the most amiable persons we have ever met.