MS in Artificial Intelligence - Technical University of Madrid (UPM), Spain
The information in this page may be outdated, as Nataliia Stulova is no longer a member of the Institute.
Former PhD Student
I am a recently graduated PhD candidate here at
IMDEA Software Institute
During my PhD I was 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.
This is my CV
Static Performance Guarantees for Programs with Run-time Checks
Maximiliano Klemen, Nataliia Stulova, Pedro Lopez-Garcia, Jose F. Morales, Manuel V. Hermenegildo
20th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP'18), September 3-5, 2018
Frankfurt am Main, Germany
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
CP/ICLP/SAT Doctoral Program 2017 (CP-ICLP-SAT-DP-17) entry
Program specifications, run-time software verification, specification-based testing, program synthesis and transformation, declarative programming, artificial intelligence.