-
Associate Professor (UGA)HW/SW Simulation, Analog/Mixed-Signal Systems, SoC Validation, SystemC Modeling
-
Associate Professor (Grenoble INP)Architecture, cache coherence, multicore simulation.
-
Associate Professor (Grenoble INP)Multiprocessor architectures, On-chip networks, Information theory
-
Full Professor (UGA)Formal/semi-formal verification, Assertion-Based Verification for embedded systems, Runtime monitoring, SystemC models, Theorem proving