Zafer Esen

Postdoktor vid Institutionen för informationsteknologi; Datorteknik

E-post:
zafer.esen@it.uu.se
Besöksadress:
Hus 10, Regementsvägen 10
Postadress:
Box 524
751 20 UPPSALA

Ladda ned kontaktuppgifter

Kort presentation

Forskningsintressen (mycket brett):

  • Analys och verifiering av program
  • Inbyggda system och mjukvara

Verktyg jag för närvarande arbetar med:

  • TriCera: en model checker för C-program med interaktioner med heapen; baserad på Eldarica.
  • Eldarica: en model checker för Horn-klausuler, Numerical Transition Systems och mjukvaruprogram som accepterar olika indataformat, inklusive SMT-LIB 2, Prolog för Horn-klausuler, samt fragment av Scala och C för mjukvaruprogram.

Se min personliga hemsida för mer info.

Zafer Esen

Publikationer

Senaste publikationer

Alla publikationer

Artiklar i tidskrift

Doktorsavhandlingar, sammanläggning

Kapitel i böcker, delar av antologi

Konferensbidrag