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
Lightning Talk: Writing an Assembler Back-end in Haskell is Easier Than You Think (Honest!)
Featuring Peter Trommler
The final stage in GHC's compilation pipeline is the transformation from GHC's intermediate language Cmm to assembly code in the native code generator.haskell -ghc -native-code -peephole-optimisation ghc native-code peephole-optimisation linux