Research Interests

I work on the definition of sound models and tools, based on using logical time and polychronous formalisms, for the design of safe and trustworthy cyber-physical systems and intelligent transportation systems:

PhD students