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.