Jacques Combaz

Jacques Combaz is a CNRS research engineer at the VERIMAG laboratory. He has worked on the design and verification of real-time embedded systems using formal methods. In 2018, he joined the CNRS's EcoInfo research and service group, which focuses on the environmental and societal impacts of information and communication technologies, and has refocused his research activities on these new topics.