Catalin Dima (Preferred)
Catalin Dima
Full Professor, LACL, Université Paris-Est Créteil
Joined
August 2024
Names
Emails
****@u-pec.fr (Confirmed)
Personal Links
Career & Education History
Full Professor
LACL, Université Paris-Est Créteil (u-pec.fr)
2011 – Present
Assistant Professor
LACL, Université Paris-Est Créteil (u-pec.fr)
2004 – 2011
PhD student
Université Grenoble Alpes (ujf-grenoble.fr)
1999 – 2001
Advisors, Relations & Conflicts
PhD Advisee
Coauthor
2012 – 2017
PhD Advisor
PhD Supervisor
1999 – 2001
Expertise
entropy of timed languages
2021 – Present
timed and hybrid games
2020 – Present
applications of temporal epistemic reasoning in security
2017 – Present
rational synthesis
2016 – Present
strategy logics
2011 – Present
temporal epistemic logics
2008 – Present
model checking
2000 – Present
timed automata
1999 – Present
symbolic dynamics
2013 – 2018
Publications
Co-Authors
- Alain Girault
- Aldric Degorre
- Alexandru Sofronia
- Andrew V. Jones
- Aniello Murano
- Bastien Maubert
- Benoît Barbot
- Bernardo Jacobo Inclán
- Christophe Lavarenne
- Chunyan Mu
- Constantin Enea
- Damien Busatto-Gaston
- Daniele Varacca
- Dimitar P. Guelev
- Dimitris Vekris
- Emmanuel Filiot
- Eugene Asarin
- Ferucio Laurentiu Tiplea
- Florian Horn
- Francesco Belardinelli
- Frédéric Lang
- Ioana Boureanu
- Julien Cervelle
- Madalina Jitaru
- Marie-Pierre Béal