logo epfl

    Hossein Hojjat

Ecole Polytechnique Fédérale de Lausanne

Hossein Hojjat
Postdoctoral Researcher
School of Computer and Communication Sciences
email: hossein.hojjat@epfl.ch
direct phone: +41 21 69 31243
group fax: +41 21 69 36660

mailing address:
  EPFL / I&C / IIF / LARA / BC 355
  Station 14,
  CH-1015 Lausanne,

(General Directions)

(Finding my office)
EPFL Panorama

I am interested in analysis and verification of software and in particular embedded systems. I am currently a postdoc in the Rigorous System Design Laboratory (RiSD) under the supervision of Professor Joseph Sifakis.

PUBLICATION LIST Page (also with abstracts, or partial lists from DBLP)

I am the main developer of Eldarica, a predicate abstraction engine.

In August 2013 I finished my PhD thesis under the supervision of Professor Viktor Kuncak
I have received a Master degree of software engineering from Tehran University in 2007 working with Marjan Sirjani (Reykjavík University) and Mohammad Reza Mousavi (TU/e Eindhoven). My dissertation (in Persian) was about the verification of object-based system using a process algebraic approach.
I have received a B.Sc. degree in Software Engineering in Tehran University.

Here is my Curriculum Vitae