Peter Thiemann
Scholar

Peter Thiemann

Google Scholar ID: yJST1UAAAAAJ
Professor of Computer Science, University of Freiburg
programming languagesstatic analysistypeslanguage-based security
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,114
 
H-index
17
 
i10-index
25
 
Publications
20
 
Co-authors
47
list available
Contact
No contact links provided.
Publications
1 items
Partial Orders for Precise and Efficient Dynamic Deadlock Prediction
2025
Cited
0
Resume (English only)
Academic Achievements
  • Published multiple papers (DBLP), involved in the development of software such as WASH: Web Authoring System Haskell and Ebnf2ps.
Research Experience
  • Leads the Programming Languages Working Group and is a member of the Institute for Computer Science at the University of Freiburg's Faculty of Technology.
Background
  • Professor of Computer Science, Head of the Programming Languages Area. Research interests include programming languages.
Miscellany
  • Enjoys quoting famous figures like Langston Hughes, Rita Dove, Grace Murray Hopper, and more; designed his personal website.
Co-authors
47 total
Co-author 1
Co-author 1
Co-author 2
Co-author 2
Philip Wadler
Philip Wadler
University of Edinburgh and IOHK/IOG
Annette Bieniusa
Annette Bieniusa
RPTU University of Kaiserslautern-Landau
Co-author 5
Co-author 5
Vasco T. Vasconcelos
Vasco T. Vasconcelos
LASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de Lisboa
Martin Sulzmann
Martin Sulzmann
Professor of Computer Science, Karlsruhe University of Applied Sciences
Co-author 8
Co-author 8