Difference between revisions of "Curriculum Vitae, Traian Florin Serbanuta"

From FSL
Jump to: navigation, search
m (Selected Publications)
m (Selected Publications)
Line 60: Line 60:
====Selected Publications====
====Selected Publications====
<pub id='serbanuta-chen-rosu-2012-rv' template='PubDefaultNoLinks' />
<pub id='serbanuta-rosu-2012-icgt' template='PubDefaultNoLinks' />
<pub id='serbanuta-rosu-2012-icgt' template='PubDefaultNoLinks' />
<pub id="rosu-serbanuta-2010-jlap" template="PubDefaultNoLinks" />
<pub id="rosu-serbanuta-2010-jlap" template="PubDefaultNoLinks" />
<pub id="serbanuta-rosu-meseguer-2007-ic" template="PubDefaultNoLinks" />
<pub id="serbanuta-rosu-meseguer-2007-ic" template="PubDefaultNoLinks" />
<pub id='serbanuta-2004-jtcs' template='PubDefaultNoLinks' />
<pub id='serbanuta-2004-jtcs' template='PubDefaultNoLinks' />
<pub id='serbanuta-chen-rosu-2012-rv' template='PubDefaultNoLinks' />
You can also check [[The complete list of Traian's publications]].
You can also check [[The complete list of Traian's publications]].

Revision as of 20:41, 16 March 2013

(Back to Traian Florin Serbanuta's page)

Me and my family
October 2012

Personal Data

Place of Birth: Braşov, Romania
Religion: Orthodox Christian
Married, two children

Affiliation and Contact Data

Department of Computer Science
Faculty of Mathematics and Computer Science
University of Bucharest
Address: Academiei 14, sector 1 010014, BUCUREȘTI, ROMANIA
Tel. +40 21 314 2863
Fax +40 21 315 6990
email: traian.serbanuta@gmail.com
homepage: http://fsl.cs.uiuc.edu/index.php/Traian_Florin_Serbanuta

Research Interests

- Logics and their applications to computing
- Algebraic specifications and formal methods for software engineering
- Algorithms, Programming using logics, Rewriting


Ph.D, Department of Computer Science, University of Illinois at Urbana-Champaign
Advisor: Grigore Rosu
Committee: Tom Ball, Darko Marinov, Jose Meseguer, Madhusudan Parthasarathy
Superior Normal School of Bucharest, Department of Informatics
M.S., Foundations of Computer Science, Faculty of Mathematics and Informatics, University of Bucharest.
M.S. Thesis: "Institutions and Logic Programming Compiling"
Advisors: Razvan Diaconescu and Virgil Emil Cazanescu
B.A., Computer Science, Faculty of Mathematics and Informatics, University of Bucharest
B.A. Thesis: "Hiding information in text using LR(k) grammars"
Thesis Advisor: Professor Adrian Atanasiu

Professional Experience

Postdoctoral Scientific Researcher at University Alexandru Ioan Cuza of Iasi
Postdoctoral Research Associate, Information Trust Institute, University of Illinois at Urbana-Champaign
Research Assistant within the Formal Systems Laboratory, Department of Computer Science, University of Illinois at Urbana-Champaign
Research Assistant, at Chair of Foundations of Computer Science, University of Bucharest
IT developer for Popnet-Agentscape Romania, member of the Natural Language Processing Team
Job Description: research and implementation of text classifiers
Summer 2007
Summer intern at Google New York
Mentor: Bogdan Caprita
Coauthored (with Bogdan Caprita) a patent related to traffic analysis technology
Summer 2005
Summer intern at Microsoft Research Redmond, Testing, Verification and Measurement
Mentor: Madan Musuvathi


15th place at the The 24th ACM International Collegiate Programming Contest World Finals
1st place at the The SouthEastern European Regional Contest of the ACM ICPC
3rd prize at the Romanian National Olympiad of Mathematics

Selected Publications

Maximal Causal Models for Sequentially Consistent Systems 
Traian Florin Serbanuta, Feng Chen and Grigore Rosu
RV'12, LNCS. 7687, pp 136-150. 2013

A Truly Concurrent Semantics for the K Framework Based on Graph Transformations 
Traian Florin Serbanuta and Grigore Rosu
ICGT'12, LNCS 7562, pp 294-310. 2012

An Overview of the K Semantic Framework 
Grigore Rosu and Traian Florin Serbanuta
J.LAP, Volume 79(6), pp 397-434. 2010

A Rewriting Logic Approach to Operational Semantics 
Traian Florin Serbanuta, Grigore Rosu and Jose Meseguer
Information and Computation, Volume 207(2), pp 305-340. 2009

Extending Parikh Matrices 
Traian Florin Serbanuta
J. of TCS, Volume 310(1), pp 233-246. 2004

You can also check The complete list of Traian's publications.


WRLA'10 - "K-Maude: A Rewriting Based Tool for Semantics of Programming Languages" (presentation and tool demo)
ICSE'08 - JPredictor: A Predictive Runtime Analysis Tool for Java
WMC'08 - "Defining and Executing P-systems with Structured Data in K"
SOS'07 - A Rewriting Logic Approach to Operational Semantics -- Extended Abstract
WRLA'06 - Co-organizer and co-presenter of the Rewrite Engines Competition
FOSSACS'06 - A Semantic Approach to Interpolation
MSR Redmond - Interleaving Boolean and theory reasoning in a SAT-based theorem prover (end of internship talk)
Reviewed papers for
J. of TCS, LOPSTR'06, WRS'06, ICCGI'06, RTA'07, FMOODS'07, WRLA'08, RTA'08, WADT'08, AMAST'08, FOSSACS'09
Personal tools