Hi and welcome to my personal site!
I am Julie, and I am currently an associate professor within the VeriDis Team at Loria, University of Lorraine & Inria.
My work focuses on automated deduction, especially on designing decision procedures (parallelization in first-order logic, application to other logics or theories) and interactions between interactive and automated tools. Previously, I worked within the Chair of Theoretical Computer Science at University of Regensburg, and I did my PhD at University of Montpellier, during which I developed the Goéland automated theorem prover.
I am also very involved into sciences promotion (and the endless quest to find out who killed Agatha). Finally, I am a huge fan of puzzles, especially Rubik’s Cube, I like to traumatize my interns, I enjoy creating new words in German, and I bake delicious cookies!
You can find more information in my CV (last update: May 2025).
News:
- Our paper When GNNs Met a Word Equations Solver: Learning to Rank Equations with P. A. Abdulla, M. F. Atig, C. Liang, and P. Rümmer was accepted at FroCoS 2025.
- Together with Julien Signoles, I am co-responsable of the LVP working group of GDR GPL.
- I am part of the PC of FSTTCS 2025.
- I gave a talk at the EuroProofNet School on Natural Formal Mathematics.
- Our paper Interoperability of Proof Systems with SC-TPTP with S. Guilloud, S. Gambhir, A. Poiroux, Y. M. Herklotz, T. Bourgeat, and V. Kuncak was accepted at CADE-30.
- I am part of the PC of JFLA 2026.