research areas Compilateurs Cybersécurité Informatique Informatique système Langages informatiques Logiciel libre Machines virtuelles Open source Optimisation Programmation objet Systèmes d'exploitation