FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Nataliia Stulova
Organization: IMDEA Software Institute
Pages in this Program
ICLP on Tuesday, July 17th
ICLP Program
Program
Program for Tuesday, July 17th
Slides
Slides
Bio

I am a researcher in software verification. My current research interests include software specification languages, verification methods and tools (assertions, run-time checks, tests, monitors), and program analyses (Horn clause-based verification, abstract interpretation). I am also passionate about natural languages and their use in technology (specifically, natural language processing (NLP), both applied to generating and enhancing programs/program specifications and with broader use, e.g., in recommender systems) and I am extremely interested in research/development opportunities to combine both areas.