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

From FSL
Jump to: navigation, search
Line 4: Line 4:
 
:    Married, two children
 
:    Married, two children
 
;[[Contact information for Traian Florin Șerbănuță | Contact information]]
 
;[[Contact information for Traian Florin Șerbănuță | Contact information]]
 +
;Address
 +
: [http://www.cs.uiuc.edu Department of Computer Science]
 +
:      [http://www.uiuc.edu University of Illinois at Urbana-Champaign]
 +
: [http://www.uiuc.edu/ricker/CampusMap?buildingID=806&target=displayHighlight Siebel Center]
 +
: 201 N. Goodwin, Urbana, IL, 61801
 +
;Office
 +
: 2111A Siebel Center
 +
;Phone
 +
: +1 (217) 333-5129
 +
;Email
 +
: [mailto://tserban2@cs.uiuc.edu tserban2@cs.uiuc.edu]
 +
;Group
 +
: [[Formal Systems Laboratory]]
 +
;Advisor
 +
:      [[Grigore Rosu]]
 
;Research Interests
 
;Research Interests
 
:- Logics and their applications to computing
 
:- Logics and their applications to computing
Line 11: Line 26:
 
:    2004-present
 
:    2004-present
 
::        Ph.D student, Department of Computer Science, University of Illinois at Urbana-Champaign
 
::        Ph.D student, Department of Computer Science, University of Illinois at Urbana-Champaign
::        Advisor: Assistant Professor Grigore Rosu
+
::        Advisor: Assistant Professor [[Grigore Rosu]]
 
:    2002-2004
 
:    2002-2004
 
::        Superior Normal School of Bucharest
 
::        Superior Normal School of Bucharest
Line 34: Line 49:
 
::        Mentor: Madan Musuvathi  
 
::        Mentor: Madan Musuvathi  
 
:    2004-present
 
:    2004-present
::        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-present
 
:    2003-present
 
::        Research Assistant, at Chair of Fundaments of Computer Science, University of Bucharest
 
::        Research Assistant, at Chair of Fundaments of Computer Science, University of Bucharest
Line 41: Line 56:
 
::        Job Description: research and implementation of text classifiers  
 
::        Job Description: research and implementation of text classifiers  
 
;Publications
 
;Publications
:-    Andrei Popescu, Traian Florin Serbanuta and Grigore Rosu, A Semantic Approach to Interpolation, Department of Computer Science Report No. 2643, University of Illinois at Urbana-Champaign, May 2005
+
:-    [[Andrei Popescu]], Traian Florin Șerbănuță and [[Grigore Rosu]], [[A Semantic Approach to Interpolation]], Department of Computer Science Report No. 2643, University of Illinois at Urbana-Champaign, May 2005
:-    Traian Florin Serbanuta and Grigore Rosu, Towards Effectively Eliminating Conditional Rewrite Rules, Department of Computer Science Report No. 2494, University of Illinois at Urbana-Champaign, December 2004.
+
:-    Traian Florin Șerbănuță and [[Grigore Rosu]], [[Towards Effectively Eliminating Conditional Rewrite Rules]], Department of Computer Science Report No. 2494, University of Illinois at Urbana-Champaign, December 2004.
:-    Traian Florin Serbanuta, Extending Parikh matrices, Journal of Theoretical Computer Science, Vol. 310, No. 1, pp. 233-246, January 2004
+
:-    Traian Florin Serbanuta, [http://dx.doi.org/10.1016/S0304-3975(03)00396-7 Extending Parikh matrices], Journal of Theoretical Computer Science, Vol. 310, No. 1, pp. 233-246, January 2004
 
:-  David Reitter, Stefan Covaci, Florin Oltean, Catalin Bacanu, and Traian Serbanuta, Hybrid natural language processing in a customer-care environment, Proceedings of the 11th Student Conference on Computational Linguistics (TaCoS), 2001.
 
:-  David Reitter, Stefan Covaci, Florin Oltean, Catalin Bacanu, and Traian Serbanuta, Hybrid natural language processing in a customer-care environment, Proceedings of the 11th Student Conference on Computational Linguistics (TaCoS), 2001.

Revision as of 06:34, 15 February 2006

Personal Data
Date of Birth: November 3, 1979, Braşov, Romania
Romanian citizen
Married, two children
Contact information
Address
Department of Computer Science
University of Illinois at Urbana-Champaign
Siebel Center
201 N. Goodwin, Urbana, IL, 61801
Office
2111A Siebel Center
Phone
+1 (217) 333-5129
Email
tserban2@cs.uiuc.edu
Group
Formal Systems Laboratory
Advisor
Grigore Rosu
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
2002-2004
M.S., Foundaments 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 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 Fundaments 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
Publications
- Andrei Popescu, Traian Florin Șerbănuță and Grigore Rosu, A Semantic Approach to Interpolation, Department of Computer Science Report No. 2643, University of Illinois at Urbana-Champaign, May 2005
- Traian Florin Șerbănuță and Grigore Rosu, Towards Effectively Eliminating Conditional Rewrite Rules, Department of Computer Science Report No. 2494, University of Illinois at Urbana-Champaign, December 2004.
- Traian Florin Serbanuta, Extending Parikh matrices, Journal of Theoretical Computer Science, Vol. 310, No. 1, pp. 233-246, January 2004
- David Reitter, Stefan Covaci, Florin Oltean, Catalin Bacanu, and Traian Serbanuta, Hybrid natural language processing in a customer-care environment, Proceedings of the 11th Student Conference on Computational Linguistics (TaCoS), 2001.
Personal tools
Namespaces

Variants
Actions
Navigation