معرفی
Philipp Georg Haselwarter is an Assistant Professor at the Department of Computer Science, Aarhus University. His expertise lies in programming languages, formal verification, and cryptographic proofs.
His research interests include
- Higher-order probabilistic programming
- Separation logic for program analysis
- Modular cryptographic proofs in Coq
- Resource-aware and cost-bounded formal methods
Key trends in his recent publications span
- Formal verification techniques for probabilistic and cryptographic systems
- Integration of separation logic with cost and error analysis
- Development of frameworks like SSProve for cryptographic proofs
- Applications of type theory and higher-order logic in programming languages
۰مقاله منتشرشده
