J’ai le plaisir de vous annoncer que j'ai obtenu, ce lundi, le grade de Docteur en Informatique de l'Université d'Orléans ! Ce fut un plaisir d'exposer mes travaux de recherches effectuées ces 4 dernières années en collaboration avec Ennov.

🔵 Le Département informatique | Université d'Orléans recrute ! 🔵 Nous proposons un poste d'enseignant-chercheur contractuel en informatique, avec activités de recherche au LIFO - Laboratoire d'Informatique Fondamentale d'Orléans et activités enseignements à l'UFR Sciences & Techniques - Orléans. Rejoignez l'Université d'Orléans ! 👉 Toutes les infos ici : https://lnkd.in/e796-a2b

Le @[LIFO - Laboratoire d'Informatique Fondamentale d'Orléans](urn:li:organization:101703238) sera présent à la Fête de la Science les 5 et 6 octobre prochains, au village des sciences du campus CNRS d’Orléans La Source; avec des membres du laboratoire et du @[Département informatique | Université d'Orléans](urn:li:organization:80069707). N’hésitez pas à nous contacter si vous souhaiter participer à la mise en place des projets de vulgarisation et diffusion scientifiques prévus pour l’occasion ! https://lnkd.in/eHWVWPec

Trois journées bien remplies et extrêmement sympathiques au Salon des sciences du Vendômois, avec Pauline Rovillain. Un grand merci et un grand bravo à l'équipe de Jf ORTEMANN pour son accueil, pour l'organisation et pour nous avoir donné l'occasion de présenter nos thèmes de recherche et d'échanger avec de nombreux chercheurs en herbes. #salon_des_sciences_du_vendomois #ligue_enseignement_loir_et_cher

Il est encore temps d'envoyer un article à DOING@ADBIS 2024. La conférence sera en France cette année. https://lnkd.in/ewRDDevX https://lnkd.in/eZiFUmwC

𝐏𝐚𝐫𝐨𝐥𝐞 𝐝𝐞 𝐥𝐚𝐮𝐫𝐞́𝐚𝐭𝐬 𝐝𝐞 𝐜𝐞𝐭𝐭𝐞 𝟔𝐞̀𝐦𝐞 𝐞́𝐝𝐢𝐭𝐢𝐨𝐧 ✨ Retour en vidéo de l'aventure #DiLL pour le groupe LIFO - Laboratoire d'Informatique Fondamentale d'Orléans qui a décroché la 3ème place du concours de pitch. 🏆🥉 https://swll.to/65gWSe

Huuuum premier papier de recherche envoyé depuis quelques années. On va attendre le verdict dans un peu plus d'un mois. En tous les cas, cela fait du bien :) Maintenant, go faire des preuves en Coq pour du Runtime assertion checking.

🔵 Le Département informatique | Université d'Orléans recrute ! 🔵 Nous proposons 2 postes d'enseignants contractuels en informatique à temps plein à l'UFR Sciences & Techniques - Orléans. Rejoignez l'Université d'Orléans ! 👉 Toutes les infos ici : https://lnkd.in/eMJmjRvH