Hi and welcome to my personal site!
I am Julie, and I am currently a postdoctoral researcher within the Chair of Theoretical Computer Science at University of Regensburg.
My work focuses on automated deduction, especially on designing decision procedures (parallelization in first-order logic, application to other logics of theories) and interactions between interactive and automated tools. I did my PhD at University of Montpellier, during which I developed the Goéland theorem prover.
I am also very involved into sciences promotion (and the endless quest to find out who killed Agatha). I am a huge fan of puzzles, especially Rubik’s Cube, I traumatize my interns, and sometimes, when I meet people I like, I bake delicious cookies.
You can find more information in my CV (last update: March 2024).