MS in Artificial Intelligence - Universidad Politécnica de Madrid (UPM), España
Instituto IMDEA Software
Telephone: +34-91-101-2202 ext 4150
Tutor: Manuel Hermenegildo
I am a PhD candidate (4th year) here at
IMDEA Software Institute
working under the supervison of
and José Francisco Morales
I have obtained a Master of Sciences in Artificial Intelligence
degree from the Technical University of Madrid (UPM
in 2013. Before that I was studying applied system analysis at the National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute" (NTUU "KPI"
My research currently focuses on software specifications and improving efficiency of the tools working with them. I'm also a member of the
lab and one of the
Prolog System developers.
On Improving Run-time Checking in Dynamic Languages
OASIcs, Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017), Vol. 58, 10 pages, August 2017 (to appear)
CP/ICLP/SAT Doctoral Program 2017 (CP-ICLP-SAT-DP-17) entry
Intereses de Investigación
Program specifications, run-time software verification, specification-based testing, program synthesis and transformation, declarative programming, artificial intelligence.