Zafer Esen

Short presentation

Research interests (very broadly):

  • Analysis and verification of programs
  • Embedded systems and software

Tools I am currently working on:

  • TriCera: a model checker for C programs with heap interactions; based on Eldarica.
  • Eldarica: a model checker for Horn clauses, Numerical Transition Systems, and software programs accepting various inputs including SMT-LIB 2, Prolog for Horn clauses, and fragments of Scala and C for software programs.

Supervisors:

Publications

Recent publications

All publications

Comprehensive doctoral thesis

Conference papers

Manuscripts (preprints)

FOLLOW UPPSALA UNIVERSITY ON

Uppsala University on Facebook
Uppsala University on Instagram
Uppsala University on Youtube
Uppsala University on Linkedin