Peter Thiemann

Peter Thiemann
Name	Peter Thiemann
Birth place	Germany
Fields	Computer science, Programming language theory, Software engineering
Workplaces	University of Freiburg, University of Pennsylvania, University of Göttingen
Alma mater	University of Freiburg, Technische Universität Darmstadt
Known for	Programming language semantics, Security type systems, Static analysis

Peter Thiemann Peter Thiemann is a German computer scientist known for work in programming language theory, formal methods, and software security. His research bridges theoretical foundations with practical tools, influencing developments in type theory, static analysis, and information flow control. Thiemann has held academic positions at several European and North American institutions and contributed to both foundational papers and widely used implementations.

Early life and education

Thiemann was born in Germany and educated in German technical universities. He studied computer science at the University of Freiburg and pursued graduate studies at the Technische Universität Darmstadt, institutions with strong traditions tracing to figures connected to Konrad Zuse and research groups influenced by the Fraunhofer Society. During his doctoral work he engaged with topics related to lambda calculus and denotational semantics, interacting with mentors and collaborators from research centers such as the Max Planck Society and research groups affiliated with the German Research Foundation.

Academic career and research

Thiemann's academic career includes appointments at the University of Freiburg, visiting roles at the University of Pennsylvania, and research collaborations with the University of Göttingen. His research program spans programming languages and software engineering, emphasizing formal specification, verification, and secure language design. Thiemann has contributed to work in type systems for security, integrating ideas from abstract interpretation, operational semantics, and model checking. He collaborated with researchers from institutions such as the University of Cambridge, ETH Zurich, Princeton University, and the University of Toronto, and participated in European projects supported by the European Research Council and the European Union.

Thiemann explored connections between functional programming and program analysis, building on traditions from Haskell communities and theoretical lines traced to Alonzo Church and Dana Scott. His work addressed practical challenges faced in software projects at organizations like Siemens, SAP SE, and research labs tied to the Deutsche Telekom group. He has been active in academic service with roles in program committees for conferences including POPL, ICFP, PLDI, CAV, and ESOP.

Major contributions and publications

Thiemann's publications encompass monographs, journal articles, and conference papers that contributed to programming language semantics and security type systems. He authored influential results on type-based analyses for information flow control, building on earlier frameworks such as Denning's lattice model and work by researchers at MIT and the University of California, Berkeley. His papers often combine techniques from type inference and abstract interpretation, connecting to research by scholars at INRIA and CNRS.

Significant contributions include formal treatments of evaluation strategies tied to call-by-name and call-by-value, extensions of lambda calculus with effects, and analyses of scripting languages inspired by the dynamics of JavaScript engines developed by teams at Mozilla and Google. Thiemann contributed to tool development and formal proofs using proof assistants like Coq and Isabelle/HOL, and engaged with specification languages that trace to Z notation and the B-Method. His work appeared in venues such as Journal of Functional Programming, ACM Transactions on Programming Languages and Systems, and proceedings of ICFP and POPL.

He also co-authored textbooks and lecture notes used in courses at the Technical University of Munich and the University of Oxford, influencing curricula that intersect with materials from Stanford University and Carnegie Mellon University. Collaborators include researchers from Utrecht University, KTH Royal Institute of Technology, and University of Edinburgh.

Awards and honors

Thiemann's research earned recognition in the form of conference best paper nominations and research grants from agencies such as the German Research Foundation and the European Commission. He received institutional honors for teaching and mentorship at the University of Freiburg and was invited to give talks at prominent venues including Dagstuhl Seminars and workshops associated with IFIP. His projects received funding through competitive programs administered by the Deutsche Forschungsgemeinschaft and collaborative grants with partners affiliated with Siemens AG and national research centers.

Personal life and legacy

Thiemann is known among colleagues for mentoring doctoral students who went on to positions at universities and industry research labs such as Microsoft Research, IBM Research, and startups spun out of European universities. His legacy includes contributions that informed secure language design in industrial contexts and advanced formal teaching at European computing departments. Thiemann's influence extends through citations and successor work at institutions like ETH Zurich, Imperial College London, and the National University of Singapore, and through participation in standards and community efforts linked to ACM and IEEE Computer Society.

Category:German computer scientists Category:Programming language researchers