Details:
Traian Florin Serbanuta received his Ph.D. from University of Illinois at Urbana-Champaign (UIUC) with the thesis "A Rewriting Approach to Concurrent Programming Language Design and Semantics" and is currently holding a post-doctoral fellowship from University of Iasi. His research focus is on developing platforms and tools to assist with programming language design, semantics, and analysis. He is the chief architect of the K framework, a platform for programming language design and semantics which was successfully used to build most complete formal semantics for the C programming language and the first prototypes of the Matching logic verifiers.