Home Page of Catalin Dima

Homepage of Catalin Dima

About me:

I am member of the Laboratoire d'Algorithmique, Complexité et Logique (LACL), in the Algorithmique et Vérification team.
In the recent past I was with Verimag, Grenoble, where I worked in the Timed and Hybrid Systems team, with Eugene Asarin and Oded Maler. Before that, I was with the BIP team (currently POP ART) of INRIA Rhone Alpes, being involved in the Tolère research project led by Alain Girault. I have also spent some time at ENSEIRB and LaBRI in Bordeaux.
Even earlier before I was a fellow of UNU/IIST, working with Xu Qiwen and Paritosh Pandya.
I have also held a position within the Department of Fundamentals of Computer Science of the University of Bucharest.

Research interests:

Formal aspects of security: possibilistic and probabilistic models of information flow, information flow and access control, formal models for security protocols.
Real-time formal language theory, real-time logics, theories behind model checking and verification.
Fundamentals of fault tolerance.
Formal semantics of programming languages, in particular synchronous and dataflow languages.

Publications:

(In French) Enseignement :

You can mail me at : dima at univ-paris12 dot fr