Julia Sapiña Sanchis

Researcher in Computer Science

Universitat Politècnica de València

VRAIN - Valencian Research Institute for Artificial Intelligence

Camino de Vera s/n, 46022 Valencia, Spain


About me

I'm a postdoc researcher in Computer Science at the Extensions of Logic Programming (ELP) research group, which is part of the Valencian Research Institute for Artificial Intelligence (VRAIN) at the Universitat Politècnica de València.

After my degree in 2012, I joined the ELP, where I have had the pleasure of working with great researchers (and better people) such as María Alpuente, Demis Ballis, Francisco Frechina, and Santiago Escobar. You can take a look at our joint work in the "Publications and Works" section of this page.

In December of 2017, I successfully defended my Ph.D. dissertation, which was focused on the formal development of rewriting-based techniques for (Maude) program analysis and debugging.

Education and Courses
2017  - Ph.D. in Computer Science.
2016  - 1st ARVI COST Summer School on Runtime Verification.
2016  - SAT/SMT/AR Summer School 2016.
2013  - Master's Degree in Software Engineering, Formal Methods and Information Systems. Specialist in Multi-Paradigm Software Technology.
2012  - 6th International School on Rewriting. Participant in Track A.
2012  - Computer Science Engineer. Specialist in Software Engineering and Information Systems.
2010  - Technical Engineer in Systems Data Processing. Specialist in Software Engineering.
Research Interests
Publications and Works

Journal Papers*

Conference Papers*

Online Resources


* authoring in alphabetical order
- Last updated Jan 2020 -