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

From FSL

m (→Selected Publications) |
m |
||

Line 48: | Line 48: | ||

:: Summer intern at Microsoft Research Redmond, [http://research.microsoft.com/tvm/ Testing, Verification and Measurement] | :: Summer intern at Microsoft Research Redmond, [http://research.microsoft.com/tvm/ Testing, Verification and Measurement] | ||

:: Mentor: [http://research.microsoft.com/~madanm/ Madan Musuvathi] | :: Mentor: [http://research.microsoft.com/~madanm/ Madan Musuvathi] | ||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

Line 88: | Line 80: | ||

;Reviewed papers for | ;Reviewed papers for | ||

: J. TCS, Int.J. FCS, LOPSTR'06, WRS'06, ICCGI'06, RTA'07, FMOODS'07, WRLA'08, RTA'08, WADT'08, AMAST'08, FOSSACS'09, PPDP'09, WRLA'10, SYNASC'10, NFM'11, CAV'11, RTA'11, FM'11, CSL'11, CALCO-Tools'11, PADTAD'11, LPAR-18, RTA'12, TOOLS'12, ICTAC'12, IJCAR'12, LICS'13 | : J. TCS, Int.J. FCS, LOPSTR'06, WRS'06, ICCGI'06, RTA'07, FMOODS'07, WRLA'08, RTA'08, WADT'08, AMAST'08, FOSSACS'09, PPDP'09, WRLA'10, SYNASC'10, NFM'11, CAV'11, RTA'11, FM'11, CSL'11, CALCO-Tools'11, PADTAD'11, LPAR-18, RTA'12, TOOLS'12, ICTAC'12, IJCAR'12, LICS'13 | ||

+ | |||

+ | ====Awards==== | ||

+ | : 2000 | ||

+ | :: 15th place at the [http://icpc.baylor.edu/past/icpc2000/Finals/Standings.html The 24th ACM International Collegiate Programming Contest World Finals] | ||

+ | : 1999 | ||

+ | :: 1st place at the [http://icpc.baylor.edu/past/icpc2000/regionals/SEERC99/Report.html The SouthEastern European Regional Contest of the ACM ICPC] | ||

+ | : 1998 | ||

+ | :: 3rd prize at the Romanian National Olympiad of Mathematics |

## Revision as of 20:54, 16 March 2013

(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

#### Professional 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

#### Selected Publications

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

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

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

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

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

*Computationally Equivalent Elimination of Conditions - extended abstract*- Traian Florin Serbanuta and Grigore Rosu
, LNCS 4098, pp 19-34. 2006**RTA'06**

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

#### Presentations

- 2012
- 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*

- WRLA'06 - Co-organizer and co-presenter of the
- 2005
- MSR Redmond -
*Interleaving Boolean and theory reasoning in a SAT-based theorem prover*(end of internship talk)

- MSR Redmond -

- Reviewed papers for
- J. TCS, Int.J. FCS, LOPSTR'06, WRS'06, ICCGI'06, RTA'07, FMOODS'07, WRLA'08, RTA'08, WADT'08, AMAST'08, FOSSACS'09, PPDP'09, WRLA'10, SYNASC'10, NFM'11, CAV'11, RTA'11, FM'11, CSL'11, CALCO-Tools'11, PADTAD'11, LPAR-18, RTA'12, TOOLS'12, ICTAC'12, IJCAR'12, LICS'13

#### 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