Curriculum Vitae, Traian Florin Serbanuta

From FSL
Revision as of 22:17, 3 November 2010 by Tserban2 (Talk | contribs)

Jump to: navigation, search

(Back to Traian Florin Serbanuta's page)

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 specification and formal methods for software engineering
- Algorithms, Programming using logics, Rewriting

Education

2004-present
Ph.D student, Department of Computer Science, University of Illinois at Urbana-Champaign
Advisor: Assistant Professor Grigore Rosu
2002-2004
Superior Normal School of Bucharest, Department of Informatics
2002-2004
M.S., Foundations of Computer Science, Faculty of Mathematics and Informatics, University of Bucharest.
M.S. Thesis: "Institutions and Logic Programming Compiling"
Advisors: Professor Razvan Diaconescu and Professor Virgil Emil Cazanescu
1998-2002
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

Awards

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

Work Experience

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
2004-present
Research Assistant within the Formal Systems Laboratory, Department of Computer Science, University of Illinois at Urbana-Champaign
2003-present
Research Assistant, at Chair of Foundations of Computer Science, University of Bucharest
2000-2001
IT developer for Popnet-Agentscape Romania, member of the Natural Language Processing Team
Job Description: research and implementation of text classifiers


Journal Papers

Self-organising assembly systems formally specified in Maude 
Regina Frei, Traian Florin Serbanuta and Giovanna Di Marzo Serugendo
J.AIHC, to appear. 2012
Ambient intelligence in self-organising assembly systems using the chemical reaction model 
Regina Frei, Giovanna Di Marzo Serugendo and Traian Florin Serbanuta
J. of Ambient Intelligence and Humanized Computing, Volume 1(3), pp 163-184. 2010
P systems with control nuclei: The concept 
Camelia Chira, Traian Florin Serbanuta and Gheorghe Stefanescu
J.LAP, Volume 79(6), pp 326-333. 2010
An Overview of the K Semantic Framework 
Grigore Rosu and Traian Florin Serbanuta
J.LAP, Volume 79(6), pp 397-434. 2010
A Semantic Approach to Interpolation 
Andrei Popescu, Traian Florin Serbanuta and Grigore Rosu
J. of TCS, Volume 410(12-13), pp 1109-1128. 2009
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
Injectivity of the Parikh matrix mappings revisited 
Virgil Nicolae Șerbănuță and Traian Florin Serbanuta
Fundamenta Informaticae, Volume 73(1-2), pp. 265-283. 2006
Extending Parikh Matrices 
Traian Florin Serbanuta
J. of TCS, Volume 310(1), pp 233-246. 2004

Conference Proceedings

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
Maximal Causal Models for Sequentially Consistent Systems 
Traian Florin Serbanuta, Feng Chen and Grigore Rosu
RV'12, LNCS. 7687, pp 136-150. 2013
jPredictor: A Predictive Runtime Analysis Tool for Java 
Feng Chen and Traian Florin Serbanuta and Grigore Rosu
ICSE'08, ACM, pp. 221-230. 2008
Computationally Equivalent Elimination of Conditions - extended abstract 
Traian Florin Serbanuta and Grigore Rosu
RTA'06, LNCS 4098, pp 19-34. 2006
A Semantic Approach to Interpolation 
Andrei Popescu, Traian Florin Serbanuta and Grigore Rosu
FOSSACS'06, LNCS 3921, pp 307-321. 2006

Workshop Proceedings

K Framework Distilled 
Dorel Lucanu, Traian Florin Serbanuta and Grigore Rosu
WRLA'12, LNCS 7571, pp 31-53. 2012 Invited Paper
Making Maude Definitions more Interactive 
Andrei Arusoaie, Traian Florin Serbanuta, Chucky Ellison and Grigore Rosu
WRLA'12, LNCS 7571. 2012
Context Transformers in the K Framework 
Andrei Arusoaie and Traian Florin Serbanuta
K'11. 2011. To appear
K-Maude: A Rewriting Based Tool for Semantics of Programming Languages 
Traian Florin Serbanuta and Grigore Rosu
WRLA'10, LNCS 6381, pp 104-122. 2010
A Rewriting Logic Approach to Type Inference 
Chucky Ellison, Traian Florin Serbanuta and Grigore Rosu
WADT'08, LNCS 5486, pp 135-151. 2009
Runtime Verification of C Memory Safety 
Grigore Rosu, Wolfram Schulte and Traian Florin Serbanuta
RV'09, LNCS 5779, pp 132-151. 2009
Defining and Executing P-systems with Structured Data in K 
Traian Florin Serbanuta, Gheorghe Stefanescu and Grigore Rosu
WMC'08, LNCS 5391, pp 374-393. 2009
Monitoring IVHM Systems using a Monitor-Oriented Programming Framework 
Sudipto Ghoshal, Solaiappan Manimaran, Grigore Rosu, Traian Florin Serbanuta, and Gheorghe Stefanescu
LFM 2008
A Rewriting Logic Approach to Operational Semantics -- Extended Abstract 
Traian Florin Serbanuta, Grigore Rosu and Jose Meseguer
SOS'07, ENTCS 192(1), pp 125-141. 2007
A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters 
Mark Hills, Traian Florin Serbanuta and Grigore Rosu
WRLA'06, ENTCS 176(4), pp. 215-231. 2007
Hybrid natural language processing in a customer-care environment 
David Reitter, Stefan Covaci, Florin Oltean, Catalin Bacanu and Traian Florin Serbanuta
TaCoS'01. 2001.

Technical Reports

The K Primer (version 2.5) 
Traian Florin Serbanuta, Andrei Arusoaie, David Lazar, Chucky Ellison, Dorel Lucanu and Grigore Rosu
Technical Report, January 2012
A Rewriting Logic Approach to Type Inference 
Chucky Ellison, Traian Florin Serbanuta and Grigore Rosu
Technical report UIUCDCS-R-2008-2934, March 2008
Effective Predictive Runtime Analysis Using Sliced Causality and Atomicity 
Feng Chen, Traian Florin Serbanuta and Grigore Rosu
Technical report UIUCDCS-R-2007-2905, October 2007

Maximal Causal Models for Sequentially Consistent Systems 
Traian Florin Serbanuta, Feng Chen and Grigore Rosu
Technical Report http://hdl.handle.net/2142/27708, October 2011
Maximal Causal Models for Sequentially Consistent Multithreaded Systems 
Traian Florin Serbanuta, Feng Chen and Grigore Rosu
Technical Report http://hdl.handle.net/2142/17336, September 2010
KRAM—Extended Report 
Traian Florin Serbanuta and Grigore Rosu
Technical Report http://hdl.handle.net/2142/17337, September 2010
Runtime Verification of C Memory Safety 
Grigore Rosu, Wolfram Schulte, and Traian Florin Serbanuta
Technical report UIUCDCS-R-2009-3048, March 2009
Maximal Causal Models for Multithreaded Systems 
Traian Florin Serbanuta, Feng Chen and Grigore Rosu
Technical report UIUCDCS-R-2008-3017, December 2008
A Rewriting Logic Approach to Operational Semantics 
Traian Florin Serbanuta and Grigore Rosu
Technical Report UIUCDCS-R-2006-2780, October 2006
Computationally Equivalent Elimination of Conditions 
Traian Florin Serbanuta and Grigore Rosu
Technical Report UIUCDCS-R-2006-2693, February 2006
A Semantic Approach to Interpolation 
Andrei Popescu, Traian Florin Serbanuta and Grigore Rosu
Technical Report UIUCDCS-R-2005-2643, May 2005
Towards Effectively Eliminating Conditional Rewrite Rules 
Traian Florin Serbanuta and Grigore Rosu
Technical Report UIUCDCS-R-2004-2494, December 2004


Presentations

2010
WRLA'10 - "K-Maude: A Rewriting Based Tool for Semantics of Programming Languages" (presentation and tool demo)
2008
ICSE'08 - JPredictor: A Predictive Runtime Analysis Tool for Java
WMC'08 - "Defining and Executing P-systems with Structured Data in K"
2007
SOS'07 - A Rewriting Logic Approach to Operational Semantics -- Extended Abstract
2006
WRLA'06 - Co-organizer and co-presenter of the Rewrite Engines Competition
FOSSACS'06 - A Semantic Approach to Interpolation
2005
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
Namespaces

Variants
Actions
Navigation