I am a Full Professor of Computer Science with UFR IM2AG at Université Grenoble Alpes.
Among my current and recent research activities
- Assertion-Based Verification of SystemC TLM models
- Runtime monitoring of C programs (in the framework of the SPICA project)
- In cooperation with Schneider Electric, high-level modeling and testing methods for cyber-physical system design
- Test sequences generation to improve coverage in Assertion-Based Verification
Teaching: see here, in French.