There are 1 Results with the keyword : "SCADE"
Inria Awards 2016
Winner of the Inria – Académie des sciences – Dassault Systèmes Award for Innovation, Marc Pouzet is a specialist in synchronous languages. His research concerns the design, semantics and implementation of programming languages to be used in embedded systems. Among other things, his research has led to the development of SCADE KCG 6, a language and environment used to make critical software for aircraft and trains.