Julie Cailler

Julie Cailler is an Associate Professor at Université de Lorraine since September 2024, previously serving as a Postdoctoral Researcher at the University of Regensburg, focusing on Automated Reasoning in Theoretical Computer Science. Julie completed a PhD in Computer Science at the University of Montpellier, where the research centered on developing an Automated Concurrent Tableau-Based Theorem Prover for First-Order Logic. Julie has also held several academic roles, including Teaching Assistant for various computer science courses, and gained diverse work experience in project management, software development, and customer service across different industries, including a position as a Project Manager at Sanofi and roles at INRA and LIRMM. Julie holds a Master's and Bachelor's degree in Computer Science, both from the University of Montpellier.