Peter Trommler
Professor at Technische Hochschule Nürnberg Georg Simon Ohm
Nuremberg, Bavaria, Germany
Summary
👤
Senior🎓
Top SchoolPeter Trommler is a Professor of Theoretical Computer Science with 17 years of professional experience, specializing in security architecture for web applications, software verification, and programming language semantics. He is a long-time maintainer and contributor to the Glasgow Haskell Compiler (GHC), where his deep work on the PowerPC 64-bit native code generator improved performance, calling conventions, and atomic operation correctness. Based in Nuremberg, he blends academic research and hands-on systems engineering, with visiting positions across European and North American universities and early industry roles at IBM and Siemens. His profile combines rigorous formal methods with pragmatic compiler engineering—an uncommon mix that fuels both secure web-system design and high-performance functional language implementation.
17 years of coding experience
3 years of employment as a software developer
Dr. Inform., Dr. Inform. at University of ZurichDiplom Informatiker (Master), Diplom Informatiker (Master) at FAU Erlangen-Nürnberg
German, English
Github Skills (6)
code-generation10
compiler-design10
haskell10
assembler10
atomics9
atomic9
Programming languages (4)
Github contributions (5)
ghc/ghc
Nov 2012 - Nov 2022
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).
Role in this project:
Back-end Developer
Back-end DeveloperContributions:219 commits, 2 PRs in 10 years 1 month
Contributions summary:Peter primarily contributed to the Glasgow Haskell Compiler (GHC) project by implementing and refining features related to the native code generator, with a specific focus on the PowerPC (PPC) architecture. Their work included optimizing code generation for various instruction sets, enhancing the handling of stack frames and calling conventions, and improving the performance of primitive operations. They also fixed bugs related to the system linker and ensured the correct behavior of atomic operations, contributing to the overall stability and efficiency of the compiler.
ghcget-startednewcomershaskellcabal
trommler/ghc-rpm-macros
Feb 2015 - Jan 2022
Contributions:2 releases, 4 pushes, 2 branches in 7 years
rustpackagingmacros
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.