⤶

► Conception fiable de systèmes embarqués et temps réel

► Audit de sécurité, évaluation de systèmes sécurisés, développement de protocoles sécurisés, attaques par canaux auxiliaires, cours de sécurité et de cryptographie, 

► Modélisation de problèmes de conception de réseaux, de logistique, de planification de production, etc.

► Développement d'algorithmes pour l'optimisation et la planification dans les domaines des transports, des télécommunications, de la logistique et de la production.