Nina Narodytska ist wissenschaftliche Mitarbeiterin bei VMware Research by Broadcom. Bevor sie zu VMware kam, war sie Forscherin bei Samsung Research America. Sie absolvierte ein Postdoc-Studium an der Carnegie Mellon University School of Computer Science und an der University of Toronto. Ihren Doktortitel erwarb sie an der University of New South Wales. Im Jahr 2013 wurde sie zu einer der „AI’s 10 to Watch“-Forscherinnen im Bereich der KI ernannt.Ihre Hauptforschungsinteressen liegen an der Schnittstelle zwischen formalen Methoden und maschinellem Lernen. Sie hat an der Verifizierung und Erklärbarkeit von ML-Modellen gearbeitet. In jüngster Zeit hat sie sich auf die Verwendung großer Sprachmodelle zur Verbesserung der Programmverifikation und die Nutzung automatischer Argumentation zur Verbesserung der Argumentationsfähigkeiten großer Sprachmodelle konzentriert.  Sie hat eingeladene Vorträge und Tutorials auf FMCAD’18, CP’19, AAAI’20, IJCAI’20, LMML’22, CP’22, ESSAI’23 und KR’24 gehalten.