Welcome aboard! Meet Julie Cailler, new member of the Mosel-VeriDis team

Every year, the teams at Loria grow stronger with the arrival of new researchers and associate professors. We welcome them and invite you to take a few minutes to discover their careers and projects!

In this episode, meet Julie Cailler, Senior Lecturer at the Université de Lorraine’s Faculty of Sciences and Technologies and researcher at the Loria in the Mosel-VeriDis team, since September 2024.

Passionate about logic and an expert in formal methods, she works in particular on designing decision procedures and interactions between interactive and automated tools. During her thesis, she developed the Gull theorem prover.

In addition to teaching and research, she also devotes much of her time to scientific mediation activities.

Originally from Vendée, her career took her by Montpellier and Regensburg, in Germany, before settling in the Grand Est region. Find out more about her career and research in this podcast.

Find out more about her career and research in this podcast (only available in French-speaking version).

For further information about Julie Cailler, visit her github page: https://jcailler.github.io/

---

“Welcome aboard!” is a podcast series created by Loria’s Communication Department.