معرفی
Julie Cailler is an Associate Professor at the University of Lorraine, affiliated with CNRS, Inria, and LORIA in Nancy, France. She is a member of the VeriDis Team and focuses on automated deduction, interactive proof systems, and logic in computer science.
- PhD in Theoretical Computer Science from the University of Montpellier (2023)
- Former Associate Professor at the University of Regensburg
Her research interests include:
- Designing concurrent and parallel decision procedures for first-order logic
- Integration of automated and interactive theorem proving
- Proof system interoperability and formal verification
Recent publications highlight her work on:
- SC-TPTP format extensions for sequent-based proofs (CADE-30, 2025)
- Graph Neural Networks for word equation solving (ATVA 2024, 2025)
- Deskolemization strategies in first-order logic (LPAR 25, 2024)
Scientific recognition:
- Woody Bledsoe Award (2022)
- Best Newcomer Prover (CASCJ11, 2022)
She supervises students in projects related to:
- Automated theorem prover development
- Logic programming and deduction modulo theory
- Formal verification and proof tool integration
Julie is actively involved in academic service as:
- Co-head of GT LVP (Languages and Program Verification) working group
- PC member for major conferences like FMCAD, FSTTCS, and ITP
۰مقاله منتشرشده
