Programming Languages and Compiler Construction Group




Teaching Assistants/PhD Students

M.Sc. Sandra Dylus

Teaching Assistant/PhD Student

Christian-Albrechts-Platz 4, R.705 (CAP 4)
Phone: +49 431 880-7267
Telefax: +49 431 880-7613

EMail: sad (at)

Github LinkedIn GPG-Key theses topics

I like 

  • declarative programming languages like Haskell and Curry
  • type-safe client-side programming with PureScript
  • working with the proof assistant Coq
I am currently
  • trying to formalise properties of functional (logic) programs with Coq
  • investigating on similarities between functional logic and probabilistic programming languages
  • writing simple (and pretty) programs to solve puzzles with Curry
All Sorts of Permutations (preprint) (ICFP'16, acceptance ratio: 37/115)

Associated Researchers

System Adminsitrator

Guest Researcher