معرفی
Peter Thiemann is a Professor of Computer Science at the Institute of Computer Science, Faculty of Technology, University of Freiburg, Germany. He leads the Programming Languages research group and serves as a member of the examination committee. His extensive academic service includes chairing the steering committee of the European Symposium on Programming (ESOP) since 2017, having previously served as program chair for ESOP 2016 and general chair for ICFP'12.
Thiemann's research spans multiple areas within programming languages, with particular focus on partial evaluation, program transformation, functional programming, type systems, and web programming. His work on the WASH (Web Authoring System Haskell) demonstrates his contributions to server-side web scripting with strong type safety guarantees. He has developed techniques for higher-order redundancy elimination, binding-time analysis, and adaptive programming. His research shows a consistent thread of connecting theoretical foundations with practical implementation concerns, particularly in the areas of program analysis and transformation.
Thiemann has been deeply involved in the programming languages community, serving as vice chair of ACM SIGPLAN (2015-2018) and tutorial editor of the Journal of Functional Programming (2017-2020). His extensive program committee service across major conferences like POPL, ICFP, ESOP, and ECOOP demonstrates his standing in the field. He has also contributed to IFIP Working Group 2.8 on Functional Programming and chaired the steering committee for the ACM symposium on Partial Evaluation and Semantics Based Program Generation (2003-2005).
His publications reveal a research trajectory focused on bridging theoretical concepts with practical implementation, particularly in the areas of partial evaluation, type systems, and program transformation. His work shows consistent contributions to both the theoretical foundations and practical applications of programming language techniques, with numerous publications in top-tier conferences and journals spanning over two decades.
