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
(c) 2020 David Sabel, Imprint, Privacy Policy Last modified: $Author: sabel $, $Date: 2020/05/25 09:09:29 $