Name:Vitalii Mordan

Bio:

I hold a PhD in Computer Science and work at the intersection of software verification and full-stack engineering. My focus is on bridging academic research with real-world practice by applying static analysis, model checking, and testing techniques to complex software systems, including operating systems and large-scale codebases. A significant part of my work is dedicated to visualization and web development, making verification results and technical data more accessible, interpretable, and useful for engineers and researchers alike.

Affiliation:Trusted AI Research Center

Research interests:Software verification, Regression Verification, Operating Systems, Multithreading, Software Visualization