Nataliia Stulova
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
About me
I am a recently graduated PhD candidate here at
IMDEA Software Institute.
During my PhD I was 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.
This is my
CV.
Publications
Journal papers
Conference Proceedings
-
[PPDP 2018]
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
Workshop Proceedings
-
[ICLP-DC 2017]
On Improving Run-time Checking in Dynamic Languages
Nataliia Stulova
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
Theses
Research Interests
Program specifications, run-time software verification, specification-based testing, program synthesis and transformation, declarative programming, artificial intelligence.