About me

I'm a PhD Candidate at IMDEA Software Institute under the supervision of Jose F. Morales and Manuel Hermenegildo.

I'm part of the development team behind the Ciao programming, working mainly on its preprocessor: CiaoPP. I'm also part of the CLIP Lab.

From March to June of 2025, I visited Gopal Gupta's Applied Logic Programming-Languages and Systems (ALPS) Lab, since then I've been working on applying abstract interpretation techniques to the analysis of s(CASP) programs.

I hold a Bachelor of Science in Mathematics from the Complutense University of Madrid and a join Master's degree in Formal Methods from the {Complutense, Autonomous, Polytechnic} University of Madrid.

Research Topics of Interest

I'm interested in almost everything that has something to do with logic and program analysis and verification. My research centers on abstract interpretation, (constraint) logic programming, and program verification. I'm especially interested in the design of abstract-interpretation-based analyzers and the challenges involved in defining and combining abstract domains.

Publications

[6] Marco Ciccalè, Daniel Jurjo-Rivas, José F. Morales, Pedro López-Garcı́a, and Manuel V. Hermenegildo. 2025. Hiord♯: An Approach to the Specification and Verification of Higher-Order (C)LP Programs. In Theory and Practice of Logic Programming (TPLP) 41st International Conference on Logic Programming Special Issue [paper] [arXiv]

[5] Daniel Jurjo-Rivas, José F. Morales, Pedro López-Garcı́a, and Manuel V. Hermenegildo. 2024. Abstract Environment Trimming. In Theory and Practice of Logic Programming (TPLP) 40th International Conference on Logic Programming Special Issue [paper] [arXiv]

[4] Daniel Jurjo, José F. Morales, Pedro López-Garcı́a, and Manuel V. Hermenegildo. 2023. A Rule-Based Approach for Designing and Composing Abstract Domains. In Logic-Based Program Synthesis and Transformation - 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings (Lecture Notes in Computer Science), Springer, 80–98. [paper]

[3] Daniel Jurjo, José Francisco Morales, Pedro López-García, and Manuel V. Hermenegildo. 2023. Towards a Rule-based Approach for Deriving Abstract Domains (Extended Abstract). In Proceedings 39th International Conference on Logic Programming Imperial College London, UK, 9th July 9-15, 2023. [paper]

[2] Juan Francisco García, Daniel Jurjo, Fernando Macías, José Francisco Morales, and Alessandra Gorla. 2021. An application of KLEE to aerospace industrial software. In XX Jornadas de Programación y Lenguajes (PROLE 2021).

[1] Juan Francisco García, Daniel Jurjo, Fernando Macías, José Francisco Morales, and Alessandra Gorla. 2021. An application of KLEE to aerospace industrial software. In 2nd International KLEE Workshop on Symbolic Execution.

Service

Talks

Contact

IMDEA Software Institute
Campus Montegancedo s/n
28223 Pozuelo de Alarcon, Madrid, Spain

Office: 342
Telephone: +34-91-101-2202 ext 4392
Email: daniel dot jurjo at imdea dot org
Orcid: 0000-0001-6215-1080