Laurent Mounier is an associate professor at Université Grenoble-Alpes. He received a PhD thesis from Université Joseph Fourier (Grenoble) in 1992, and joined the Verimag laboratory in 1993. His research activities concern formal verification methods and code analysis techniques, ranging from model-checking, formal testing and  monitoring. He is currently working on on software security, with a special emphasis on vulnerability analysis and fault injection attacks.