Ad Astra Awards
Ad Astra Journal
Science library
White book
University rankings
Who's who
Publications
Theses and dissertations
Ad Astra association
 
Press releases
News
Events
Funding opportunities
 
Login
Registration
 
>> Românã
 
   
 

Traian Serbanuta

Universitatea din Bucuresti, Bucuresti, Romania

Institution web page: http://fmi.unibuc.ro
Personal web page: http://fsl.cs.uiuc.edu/~tserban2
Send email

Born: 1979

Interests: formal methods, programming languages, rewriting

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.

ResearcherID: D-6967-2011

Selected publications:
• Grigore Rosu, Traian Florin Serbanuta. An overview of the K semantic framework. Journal of Logic and Algebraic Programming, 79(6), pp. 397-434, 2010.
• Traian Florin Serbanuta, Grigore Rosu, Josť Meseguer. A rewriting logic approach to operational semantics. Information and Computation, 207(2), pp. 305 - 340, 2009.
• Traian Florin Serbanuta, Grigore Rosu. Computationally equivalent elimination of conditions. RTA' 06, pp. 19 - 34, 2006.
• Traian Florin Serbanuta. Extending Parikh matrices. Theoretical Computer Science, 310(1), pp. 233 - 246, 2004.

Publications from the ISI database, indexed between 2002-2011, produced in Romania:
• Serbanuta, TF, Extending Parikh matrices. THEORETICAL COMPUTER SCIENCE, 310 (1-3), pp. 233-246, 2004.
• Serbanuta, VN; Serbanuta, TF, Injectivity of the Parikh matrix mappings revisited. FUNDAMENTA INFORMATICAE, 73 (1-2), pp. 265-283, 2006.
• Popescu, A; Serbanuta, TF; Rosu, G, A semantic approach to interpolation. THEORETICAL COMPUTER SCIENCE, 410 (12-13), pp. 1109-1128, 2009.
• Serbanuta, TF; Rosu, G; Meseguer, J, A rewriting logic approach to operational semantics. INFORMATION AND COMPUTATION, 207 (2), pp. 305-340, 2009.
More information


Back

   
© Ad Astra 2001-2013