Vempclp7eswh48jgrsx4

Peter Trommler

Peter Trommler is Professor of Theoretical Computer Science at Nuremberg Institute of Technology (Technische Hochschule Nuernberg).

His research interests include secure software engineering, formal methods and model checking in engineering of secure systems. He is a member of the Laboratory for Safe and Secure Systems LaS3 at Nuremberg.

In his spare time he contributes to the GHC PowerPC backend and maintains the GHC package in the openSUSE Linux distribution.

Talks I've Given