Hannes Saffrich

Albert-Ludwigs-Universität Freiburg
Technische Fakultät
Arbeitsbereich Programmiersprachen

Office: Building 079, Room 00 014 (Map)
Email: saffrich@informatik.uni-freiburg.de
Phone: +49 761 203 8050
Links: GitHub
Cat: ฅ^•ﻌ•^ฅ

About Me

I work as a Ph.D. student at the department of programming languages under the supervision of Prof. Dr. Peter Thiemann.

Research Interests

  • Type systems and formal logic
  • Interactive theorem proving with systems based on dependent type theory like Agda, Coq, or Lean
  • Typed functional programming, Haskell, ML
  • Substructural types, session types, Rust
  • Compiler construction and optimization
  • Development tools and structural code editors
  • Language integration for GPU programming supporting code that is polymorphic about whether it's used on the CPU or the GPU

Publications

Year Authors Title Context Links
2021 Saffrich, Thiemann Relating Functional and Imperative Session Types International Conference on Coordination Models and Languages (COORDINATION) Paper
2020 Radanne, Saffrich, Thiemann Kindly Bent to Free Us International Conference on Functional Programming (ICFP) Paper, Talk
2019 Saffrich Mechanized Type Soundness Proofs using Definitional Interpreters M.Sc. Thesis, University of Freiburg, Germany Thesis, Slides, Artifacts
2014 Geffken, Saffrich, Thiemann Precise Interprocedural Side-Effect Analysis International Colloquium on Theoretical Aspects of Computing (pp. 188-205), Springer, Cham

Projects

Year Title Links
2017 Parser and type checker for the Gradual Session Types paper by Igarashi, Thiemann, Vasconcelos, Wadler implemented in Haskell Paper, Artifact

Teaching

Year Role Lecture Links
2021 SS Assistant C Programmierkurs Link
2020 WS Assistant Einf├╝hrung in die Informatik Link
2020 SS Assistant Essentials of Programming Languages Link
2019 WS Assistant Einf├╝hrung in die Informatik Link