Curriculum Vitae, Traian Florin Serbanuta
From FSL
(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
- 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
Education
- 2004-2010
- Ph.D, Department of Computer Science, University of Illinois at Urbana-Champaign
- Advisor: Grigore Rosu
- Committee: Tom Ball, Darko Marinov, Jose Meseguer, Madhusudan Parthasarathy
- 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: Razvan Diaconescu and 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
- 2012-present
- Postdoctoral Scientific Researcher at University Alexandru Ioan Cuza of Iasi
- 2011-2012
- Postdoctoral Research Associate, Information Trust Institute, University of Illinois at Urbana-Champaign
- 2004-2010
- Research Assistant within the Formal Systems Laboratory, Department of Computer Science, University of Illinois at Urbana-Champaign
- 2003-2009
- 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
- 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
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
- 2007
- 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