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

From FSL
Jump to: navigation, search
m
m (Education)
 
(52 intermediate revisions by one user not shown)
Line 1: Line 1:
 +
__NOTOC__
 
{{backLink|Traian Florin Serbanuta}}
 
{{backLink|Traian Florin Serbanuta}}
[[Image:Traian and Family.jpg|right|thumb| Me and my family<br /> May 2007]]
+
[[Image:Traian and Family.jpg|right|thumb| Me and my family<br /> October 2012]]
;Personal Data
+
====Personal Data====
:    Date of Birth: November 3, 1979, [http://www.brasovtravelguide.ro/bv-en/index.php Braşov], [http://www.romaniatourism.com/ Romania]
+
:    Place of Birth: [http://www.brasovtravelguide.ro/bv-en/index.php Braşov], [http://www.romaniatourism.com/ Romania]
 
:    Religion: [http://www.fatheralexander.org/booklets/english/history_timothy_ware_2.htm Orthodox Christian]
 
:    Religion: [http://www.fatheralexander.org/booklets/english/history_timothy_ware_2.htm Orthodox Christian]
:    Romanian citizen
+
:    Married, three children
:    Married, two children
+
 
{{:Contact information for Traian Florin Şerbănuţă}}
 
{{:Contact information for Traian Florin Şerbănuţă}}
;Research Interests
+
 
 +
====Research Interests====
 
:- Logics and their applications to computing
 
:- Logics and their applications to computing
:- Algebraic specification and formal methods for software engineering
+
:- Algebraic specifications and formal methods for software engineering
 
:- Algorithms, Programming using logics, Rewriting
 
:- Algorithms, Programming using logics, Rewriting
;Education
+
 
:    2004-present
+
====Education====
::        Ph.D student, Department of Computer Science, University of Illinois at Urbana-Champaign
+
:    2004-2010
::        Advisor: Assistant Professor [[Grigore Rosu]]
+
::        Ph.D, Department of Computer Science, University of Illinois at Urbana-Champaign
 +
::        Ph.D. Thesis: [[A Rewriting Approach to Concurrent Programming Language Design and Semantics]]
 +
::        Advisor: [[Grigore Rosu]]
 +
::        Committee: [http://research.microsoft.com/en-us/people/tball/ Tom Ball], [http://mir.cs.illinois.edu/~marinov/ Darko Marinov], [http://formal.cs.uiuc.edu/meseguer Jose Meseguer], [http://www.cs.uiuc.edu/~madhu/ Madhusudan Parthasarathy]
 
:    2002-2004
 
:    2002-2004
::        [http://snsb.online.fr Superior Normal School of Bucharest], Department of Informatics
+
::        [http://www.imar.ro/~dbeltita/SNSB Superior Normal School of Bucharest], Department of Informatics
 
:    2002-2004
 
:    2002-2004
 
::        M.S., [http://funinf.cs.unibuc.ro Foundations of Computer Science], Faculty of Mathematics and Informatics, University of Bucharest.
 
::        M.S., [http://funinf.cs.unibuc.ro Foundations of Computer Science], Faculty of Mathematics and Informatics, University of Bucharest.
 
::        M.S. Thesis: "Institutions and Logic Programming Compiling"
 
::        M.S. Thesis: "Institutions and Logic Programming Compiling"
::        Advisors: Professor [http://www.imar.ro/~diacon/ Razvan Diaconescu] and Professor [http://funinf.cs.unibuc.ro/~vec Virgil Emil Cazanescu]
+
::        Advisors: [http://www.imar.ro/~diacon/ Razvan Diaconescu] and [http://funinf.cs.unibuc.ro/~vec Virgil Emil Cazanescu]
 
:    1998-2002
 
:    1998-2002
 
::        B.A., Computer Science, [http://fmi.unibuc.ro Faculty of Mathematics and Informatics], University of Bucharest
 
::        B.A., Computer Science, [http://fmi.unibuc.ro Faculty of Mathematics and Informatics], University of Bucharest
 
::        B.A. Thesis: "Hiding information in text using LR(k) grammars"
 
::        B.A. Thesis: "Hiding information in text using LR(k) grammars"
 
::        Thesis Advisor: Professor [http://www.galaxyng.com/adrian_atanasiu Adrian Atanasiu]
 
::        Thesis Advisor: Professor [http://www.galaxyng.com/adrian_atanasiu Adrian Atanasiu]
;Awards
+
 
:    2000
+
====Professional Experience====
::        15th place at the [http://icpc.baylor.edu/past/icpc2000/Finals/Standings.html The 24th ACM International Collegiate Programming Contest World Finals]
+
:    2013-present
:    1999
+
::  Associate Professor at University of Bucharest
::        1st place at the [http://icpc.baylor.edu/past/icpc2000/regionals/SEERC99/Report.html The SouthEastern European Regional Contest of the ACM ICPC]
+
:    2012-2013
:    1998
+
::  Postdoctoral Scientific Researcher at University Alexandru Ioan Cuza of Iasi
::        3rd prize at the Romanian National Olympiad of Mathematics
+
:    2011-2012
;Work Experience
+
::        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 [http://funinf.cs.unibuc.ro 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 2007
 
::        Summer intern at Google New York
 
::        Summer intern at Google New York
 
::        Mentor: Bogdan Caprita
 
::        Mentor: Bogdan Caprita
 +
::        Coauthored (with Bogdan Caprita) a patent related to traffic analysis technology
 
:    Summer 2005
 
:    Summer 2005
 
::        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]
:    2004-present
+
 
::        Research Assistant within the [[Formal Systems Laboratory]], Department of Computer Science, University of Illinois at Urbana-Champaign
+
====Selected Publications====
:   2003-present
+
<purge></purge>
::       Research Assistant, at [http://funinf.cs.unibuc.ro Chair of Foundations of Computer Science], University of Bucharest
+
<pub id='serbanuta-chen-rosu-2012-rv' template='PubDefaultNoLinks' />
:   2000-2001
+
<pub id='serbanuta-rosu-2012-icgt' template='PubDefaultNoLinks' />
::       IT developer for Popnet-Agentscape Romania, member of the Natural Language Processing Team
+
<pub id="rosu-serbanuta-2010-jlap" template="PubDefaultNoLinks" />
::       Job Description: research and implementation of text classifiers
+
<pub id="serbanuta-rosu-meseguer-2007-ic" template="PubDefaultNoLinks" />
;Presentations
+
<pub id='serbanuta-rosu-2006-rta' template="PubDefaultNoLinks" />
 +
<pub id='serbanuta-2004-jtcs' template='PubDefaultNoLinks' />
 +
 
 +
You can also check
 +
:[[The complete list of Traian's publications | My complete list of publications]].
 +
:My ResearcherID: [http://www.researcherid.com/rid/D-6967-2011 D-6967-2011]
 +
:[http://scholar.google.com/citations?user=QVLcUrcAAAAJ Google Scholar profile]
 +
:[http://www.informatik.uni-trier.de/~ley/pers/hd/s/Serbanuta:Traian.html DBLP]
 +
 
 +
====Presentations====
 +
: 2012
 +
:: SYNASC'12 – [http://synasc12.info.uvt.ro/tutorials/tutorial-k-framework Programming Language Design and Analysis using the K Framework] (tutorial)
 +
:: RV'12 – [[Maximal Causal Models for Sequentially Consistent Systems]]
 +
:: ICGT'12 – [[A Truly Concurrent Semantics for the K Framework Based on Graph Transformations]]
 +
: 2010
 +
:: WRLA'10 - "[[K-Maude: A Rewriting Based Tool for Semantics of Programming Languages]]" (presentation and tool demo)
 
: 2008
 
: 2008
 
:: ICSE'08 - ''[[JPredictor: A Predictive Runtime Analysis Tool for Java]]''
 
:: ICSE'08 - ''[[JPredictor: A Predictive Runtime Analysis Tool for Java]]''
 +
:: WMC'08 - "[[Defining and Executing P-systems with Structured Data in K]]"
 
: 2007
 
: 2007
 
:: SOS'07 - ''[[A Rewriting Logic Approach to Operational Semantics -- Extended Abstract]]''
 
:: SOS'07 - ''[[A Rewriting Logic Approach to Operational Semantics -- Extended Abstract]]''
Line 56: Line 84:
 
: 2005
 
: 2005
 
:: MSR Redmond - ''Interleaving Boolean and theory reasoning in a SAT-based theorem prover'' (end of internship talk)
 
:: MSR Redmond - ''Interleaving Boolean and theory reasoning in a SAT-based theorem prover'' (end of internship talk)
;Publications
+
 
<purge></purge>
+
<pub authors="traian" template="PubDefaultNoLinks"> </pub>
+
 
;Reviewed papers for
 
;Reviewed papers for
: J. of TCS, LOPSTR'06, WRS'06, ICCGI'06, RTA'07, FMOODS'07
+
: 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

Latest revision as of 20:46, 1 March 2015

(Back to Traian Florin Serbanuta's page)

Me and my family
October 2012

[edit] Personal Data

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

[edit] 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

[edit] Research Interests

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

[edit] Education

2004-2010
Ph.D, Department of Computer Science, University of Illinois at Urbana-Champaign
Ph.D. Thesis: A Rewriting Approach to Concurrent Programming Language Design and Semantics
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

[edit] Professional Experience

2013-present
Associate Professor at University of Bucharest
2012-2013
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

[edit] 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

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

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


You can also check

My complete list of publications.
My ResearcherID: D-6967-2011
Google Scholar profile
DBLP

[edit] Presentations

2012
SYNASC'12 – Programming Language Design and Analysis using the K Framework (tutorial)
RV'12 – Maximal Causal Models for Sequentially Consistent Systems
ICGT'12 – A Truly Concurrent Semantics for the K Framework Based on Graph Transformations
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. 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

[edit] 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
Personal tools
Namespaces

Variants
Actions
Navigation