Difference between revisions of "Curriculum Vitae, Traian Florin Serbanuta"
From FSL
m (→Education) |
|||
(70 intermediate revisions by one user not shown) | |||
Line 1: | Line 1: | ||
− | [[Image:Traian and Family.jpg|right|thumb| Me and my family<br /> | + | __NOTOC__ |
− | + | {{backLink|Traian Florin Serbanuta}} | |
− | : | + | [[Image:Traian and Family.jpg|right|thumb| Me and my family<br /> October 2012]] |
− | : Religion: Orthodox Christian | + | ====Personal Data==== |
− | + | : Place of Birth: [http://www.brasovtravelguide.ro/bv-en/index.php Braşov], [http://www.romaniatourism.com/ Romania] | |
− | : Married, | + | : Religion: [http://www.fatheralexander.org/booklets/english/history_timothy_ware_2.htm Orthodox Christian] |
− | + | : Married, three children | |
− | + | {{:Contact information for Traian Florin Şerbănuţă}} | |
+ | |||
+ | ====Research Interests==== | ||
:- Logics and their applications to computing | :- Logics and their applications to computing | ||
− | :- Algebraic | + | :- Algebraic specifications and formal methods for software engineering |
:- Algorithms, Programming using logics, Rewriting | :- Algorithms, Programming using logics, Rewriting | ||
− | + | ||
− | : 2004- | + | ====Education==== |
− | :: Ph.D | + | : 2004-2010 |
− | :: Advisor: | + | :: 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:// | + | :: [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 | + | :: 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: | + | :: 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 | + | :: Thesis Advisor: Professor [http://www.galaxyng.com/adrian_atanasiu Adrian Atanasiu] |
− | + | ||
− | + | ====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 |
− | :: | + | |
− | + | ||
− | : 2004- | + | |
:: Research Assistant within the [[Formal Systems Laboratory]], Department of Computer Science, University of Illinois at Urbana-Champaign | :: Research Assistant within the [[Formal Systems Laboratory]], Department of Computer Science, University of Illinois at Urbana-Champaign | ||
− | : 2003- | + | : 2003-2009 |
− | :: Research Assistant, at [http://funinf.cs.unibuc.ro Chair of | + | :: Research Assistant, at [http://funinf.cs.unibuc.ro Chair of Foundations of Computer Science], University of Bucharest |
: 2000-2001 | : 2000-2001 | ||
:: IT developer for Popnet-Agentscape Romania, member of the Natural Language Processing Team | :: IT developer for Popnet-Agentscape Romania, member of the Natural Language Processing Team | ||
− | :: Job Description: research and implementation of text classifiers | + | :: 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, [http://research.microsoft.com/tvm/ Testing, Verification and Measurement] | ||
+ | :: Mentor: [http://research.microsoft.com/~madanm/ Madan Musuvathi] | ||
+ | |||
+ | ====Selected Publications==== | ||
+ | <purge></purge> | ||
+ | <pub id='serbanuta-chen-rosu-2012-rv' template='PubDefaultNoLinks' /> | ||
+ | <pub id='serbanuta-rosu-2012-icgt' template='PubDefaultNoLinks' /> | ||
+ | <pub id="rosu-serbanuta-2010-jlap" template="PubDefaultNoLinks" /> | ||
+ | <pub id="serbanuta-rosu-meseguer-2007-ic" template="PubDefaultNoLinks" /> | ||
+ | <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 | ||
+ | :: 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 | : 2006 | ||
:: WRLA'06 - Co-organizer and co-presenter of the ''[[Rewrite Engines Competition]]'' | :: WRLA'06 - Co-organizer and co-presenter of the ''[[Rewrite Engines Competition]]'' | ||
− | :: FOSSACS'06 - ''A | + | :: FOSSACS'06 - ''[[A Semantic Approach to Interpolation]]'' |
: 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) | ||
+ | |||
;Reviewed papers for | ;Reviewed papers for | ||
− | : J. | + | : 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)
[edit] Personal Data
- Place of Birth: Braşov, Romania
- Religion: Orthodox Christian
- Married, three children
[edit] 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
[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
- 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. 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