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
Own projects
Other projects where I was involved
(c) 2018 PD Dr. David Sabel, Imprint, Privacy Policy Last modified: $Author: sabel $, $Date: 2019/01/22 13:09:51 $