Dan-Matei Popovici specializes in systems verification, focusing on ensuring system safety, accuracy, and operational performance. With over six years of experience, he has developed and refined methodologies and tools for verifying network correctness. His research includes:

1. Ensuring safe processing and operator policy compliance in cloud service deployment by network providers.
2. Conducting a game-theoretic analysis of MPTCP’s congestion control.
3. Supporting network dataplane verification with symbolic execution.
4. Verifying control-plane functionality in P4 switches.

Additionally, Dan-Matei Popovici explores LLM performance in educational settings and is currently researching data augmentation and accessibility using Large Language Models.

Dan-Matei Popovici has been a key contributor to five international projects over more than a decade, working with diverse research teams across Europe. His academic roles include positions with the Computational Intelligence Group at Clausthal Technical University, a research fellowship at ICUB (Research Institute of the University of Bucharest), and membership in the CORNET project funded by the European Research Council (ERC).

Currently, Dan-Matei Popovici leads a UNTSPB-funded project aimed at advancing educational methodologies through the use of Large Language Models (LLMs) and program verification to enhance programming education. He is also heading a PN IV (2022-2027) funded project focused on boosting UNTSPB’s capabilities in LLM research and application development. Since June 2013, he has been leading the Horizon-Europe FUTURAL project, where his team is developing an LLM-powered metasearch platform to integrate domain-specific data from smart services across six fields, facilitating easier access to project information.

In these projects, Dan-Matei Popovici collaborates closely with PhD students and postdoctoral researchers, while also overseeing the research activities of Master’s and Diploma students.