David Sabel

Computer Scientist

Home Research Publications Talks Teaching Software
Research Interests
  • formal semantics, operational semantics, contextual equivalence, abstract machines
  • artificial intelligence, automated deduction, knowledge representation
  • program transformations and optimizations, compiler correctness
  • functional programming, concurrent programming, parallel programming, probabilistic programming
  • type systems, typing of programming language
  • verification and correctness of programs
  • deduction, nominal techniques, logics, rewrite systems
Own projects
Other projects where I was involved
©  David Sabel, Imprint, Privacy Policy