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

From FSL
Jump to: navigation, search
 
Line 1: Line 1:
Traian Florin Şerbănuţă
+
;Personal Data
Curriculum Vitae
+
:    Date of Birth: November 3, 1979, Braşov, Romania
October 12, 2005
+
:    Romanian citizen
 
+
:    Married, two children
Personal Data
+
;[[Contact information for Traian Florin Șerbănuță | Contact information]]
    Date of Birth: November 3, 1979, Braşov, Romania
+
;Research Interests
    Romanian citizen
+
:* Logics and their applications to computing
    Married, two children
+
:* Algebraic specification and formal methods for software engineering
 
+
:* Algorithms, Programming using logics, Rewriting
Contact Data
+
;Education
    Address: Department of Computer Science
+
:    2004-present
    University of Illinois at Urbana-Champaign
+
::        Ph.D student, Department of Computer Science, University of Illinois at Urbana-Champaign
    Siebel Center
+
::        Advisor: Assistant Professor Grigore Rosu
    201 N. Goodwin, Urbana, IL, 61801
+
:    2002-2004
    Office: 2111A Siebel Center
+
::        Superior Normal School of Bucharest
    Phone: +1 (217) 333-5129
+
:    2002-2004
    Email: tserban2@cs.uiuc.edu
+
::        M.S., Foundaments of Computer Science, Faculty of Mathematics and Informatics, University of Bucharest.
    Group: Formal Systems Laboratory
+
::        M.S. Thesis: "Institutions and Logic Programming Compiling"
    Advisor: Grigore Rosu
+
::        Advisors: Professor Razvan Diaconescu and Professor Virgil Emil Cazanescu
 
+
:    1998-2002
Research Interests
+
::        B.A., Computer Science, Faculty of Mathematics and Informatics, University of Bucharest
 
+
::        B.A. Thesis: "Hiding information in text using LR(k) grammars"
        * Logics and their applications to computing
+
::        Thesis Advisor: Professor Adrian Atanasiu
        * Algebraic specification and formal methods for software engineering
+
;Awards
        * Algorithms, Programming using logics, Rewriting
+
:    2000
 
+
::        15th place at the The 24th ACM International Collegiate Programming Contest World Finals
 
+
:    1999
Education
+
::        1st place at the The SouthEastern European Regional Contest of the ACM ICPC
 
+
:    1998
    2004-present
+
::        3rd prize at the Romanian National Olympiad of Mathematics  
        Ph.D student, Department of Computer Science, University of Illinois at Urbana-Champaign
+
;Work Experience
        Advisor: Assistant Professor Grigore Rosu
+
:    Summer 2005
    2002-2004
+
::        Summer intern at Microsoft Research Redmond, Testing, Verification and Measurement
        Superior Normal School of Bucharest
+
::        Mentor: Madan Musuvathi  
    2002-2004
+
:    2004-present
        M.S., Foundaments of Computer Science, Faculty of Mathematics and Informatics, University of Bucharest.
+
::        Research Assistant within the Formal Systems Laboratory, Department of Computer Science, University of Illinois at Urbana-Champaign
        M.S. Thesis: "Institutions and Logic Programming Compiling"
+
:    2003-present
        Advisors: Professor Razvan Diaconescu and Professor Virgil Emil Cazanescu
+
::        Research Assistant, at Chair of Fundaments of Computer Science, University of Bucharest
    1998-2002
+
:    2000-2001
        B.A., Computer Science, Faculty of Mathematics and Informatics, University of Bucharest
+
::        IT developer for Popnet-Agentscape Romania, member of the Natural Language Processing Team
        B.A. Thesis: "Hiding information in text using LR(k) grammars"
+
::        Job Description: research and implementation of text classifiers  
        Thesis Advisor: Professor Adrian Atanasiu
+
;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
 
+
:*    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.
Awards
+
:*    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.
    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 implementing text classifiers  
+
 
+
 
+
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
+
 
+
    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 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.
+

Revision as of 06:29, 15 February 2006

Personal Data
Date of Birth: November 3, 1979, Braşov, Romania
Romanian citizen
Married, two children
Contact information
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 Serbanuta 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 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