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