Pierre-Emmanuel Hladik

Pierre-Emmanuel HLADIK is lecturer at the INSA Toulouse, University of Toulouse, France, at the Computer and Electrical Engineering Department.
Pierre-Emmanuel mainly teaches in the software field for embedded systems: microcontroller programming, assembly language, real time, system integration…
He conducts his research at the LAAS-CNRS in the Vertics team, on the checking the critical systems temporal properties. A special attention is given to the real time system scheduling, to their design and architecture optimization issue.