David Sabel


Computer Scientist


Home Research Publications Talks Teaching Software
Research Interests
  • Formal semantics, operational semantics, contextual equivalence, abstract machines
  • Type systems, typing of programming language
  • Verification and correctness of programs
  • program transformations and optimizations, compiler correctness
  • Functional programming, concurrent programming, parallel programming
  • (Automated) deduction, nominal techniques, logics, rewrite systems
Projects
Own projects
Other projects where I was involved
©  David Sabel, Imprint, Privacy Policy