Zafer Esen
Doktorand vid Institutionen för informationsteknologi; Datorteknik
- Telefon:
- 018-471 23 14
- E-post:
- zafer.esen@it.uu.se
- Besöksadress:
- Hus 10, Lägerhyddsvägen 1
- Postadress:
- Box 337
751 05 UPPSALA
Ladda ned kontaktuppgifter för Zafer Esen vid Institutionen för informationsteknologi; Datorteknik
Mer information visas för dig som medarbetare om du loggar in.
Kort 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:
- Philipp Rümmer
- Wang Yi