ImanNarasamdya

iman narasamdya
Embedded System Unit
Fondazione Bruno Kessler
Povo - Via Sommarive 18
I-38123 Trento-Italy
Tel: +39-0461-314394
Email: narasamdya__AT__fbk.eu
   

RESEARCH INTEREST :

  • Software analysis and verification

    		•
     

  • Programming language design and implementation

    		•
       

    CURRENT RESEARCH:

  • Model checking sequential and multi-threaded software

    		•
     

  • Principal developer of Kratos model checker

    		•
       

    PAST RESEARCH:

  • Certification of smart-card applications (at Verimag)

    		•
     

  • Translation validation:

    		•
     

    Establishing program equivalence in translation validation for optimizing compilers (Ph.D thesis, supervised by Prof. Andrei Voronkov)
       

    RECENT PUBLICATION:

    Go to Kratos