Iniciativa IMDEA

Inicio > Personal

Nataliia Stulova

MS in Artificial Intelligence - Universidad Politécnica de Madrid (UPM), España

PhD Student

Nataliia Stulova
Instituto IMDEA Software

Office: 340
Telephone: +34-91-101-2202 ext 4150
Email: Nataliia Stulova e-mail

Tutor: Manuel Hermenegildo

About me

I am a PhD candidate (4th year) here at IMDEA Software Institute, working under the supervison of Manuel Hermenegildo and José Francisco Morales.
I have obtained a Master of Sciences in Artificial Intelligence (MUIA) 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 CLIP lab and one of the Ciao Prolog System developers.


Journal papers

Conference Proceedings

Workshop Proceedings

Intereses de Investigación

Program specifications, run-time software verification, specification-based testing, program synthesis and transformation, declarative programming, artificial intelligence.