Traian Florin Șerbănuță

Traian Florin Șerbănuță completed his Ph.D. at UIUC, working with Grigore on the first prototype of K, which serves as a basis for the semantics-based execution and semantics-based program verification tools developed by RV. Additionally, Traian designed a maximal causal model for sequential consistency which serves as a basis for runtime verification of concurrent programs in tools such as RV-Predict. Traian is also a professor of Computer Science at the University of Bucharest.