Skip to main content
Department of Information Technology

Zafer Esen

PhD student at Department of Information Technology, Division of Computer Systems

+4618-471 2314
Visiting address:
Room ÅNG 105281 hus 10, Lägerhyddsvägen 1
Postal address:
Box 337
751 05 UPPSALA

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.

- Philipp Rümmer
- Wang Yi

Please contact the directory administrator for the organization (department or similar) to correct possible errors in the information.

Updated  2022-07-11 16:39:23 by Zafer Esen.