Jaime Arias AlmeidaChargé de mission Logiciels

Jaime Arias Almeida est ingénieur de recherche au CNRS depuis 2018 au Laboratoire d’informatique de Paris-Nord (LIPN - CNRS/Université Sorbonne Paris Nord) où il est aussi responsable de l’équipe de développement logiciel. Né en Colombie, il est diplômé ingénieur en électronique et en informatique de l’Université Javeriana de Cali en 2013. Il a obtenu en 2015 un doctorat en informatique à l’Université de Bordeaux. Entre 2015 et 2018, il a été ingénieur R&D au centre Inria de Bordeaux puis de Grenoble.

Ses recherches portent sur la spécification et la vérification formelle de systèmes concurrents, ainsi que sur les systèmes interactifs multimédias. Il s’intéresse particulièrement au développement d’outils et de méthodes permettant de garantir la fiabilité et la sûreté des systèmes complexes.

Il est également membre du Collège Codes Sources et Logiciels et ambassadeur de Software Heritage.