Zafer Esen

Doktorand vid Institutionen för informationsteknologi, Datorteknik

E-post:
zafer.esen[AT-tecken]it.uu.se
Telefon:
018-471 2314
Besöksadress:
Rum POL 105281 hus 10, Lägerhyddsvägen 1
Postadress:
Box 337
751 05 UPPSALA

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

Kontakta katalogansvarig vid den aktuella organisationen (institution eller motsv.) för att rätta ev. felaktigheter.

Senast uppdaterad: 2021-03-09