Published multiple papers such as 'In-memory Object Graph Stores' (ECOOP 2025), 'Dynamically Fusing Python HPC Kernels' (ISSTA 2025), 'A Tool for Generating Exceptional Behavior Tests With Large Language Models' (FSE Demo 2025), etc.
Research Experience
Part-time contractor at dbt Labs (2025); Visiting Researcher at SDF (2024) working on data transformation and SQL; TechLead at Katana Graph (2021-2023) working on graph databases.
Education
Ph.D. from the University of Illinois at Urbana-Champaign in 2015, advised by Darko Marinov; M.Sc. in Software Engineering from the School of Electrical Engineering, University of Belgrade, Serbia; B.Sc. in Computer Science and Engineering from the same university.
Background
Main research interests are in software engineering with a focus on improving software quality and developers' productivity. Research areas include software testing (test generation and regression testing), proof engineering, systems-supported software engineering, and software engineering for scientific computing.
Miscellany
Always looking for PhD students with background in software engineering, systems, and/or programming languages.