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

From FSL
Jump to: navigation, search
Line 1: Line 1:
 
[[Image:Traian and Family.jpg|right|thumb]]
 
[[Image:Traian and Family.jpg|right|thumb]]
 
;Personal Data
 
;Personal Data
:    Date of Birth: November 3, 1979, Braşov, Romania
+
:    Date of Birth: November 3, 1979, [http://www.brasovtravelguide.ro/bv-en/poiana-brasov/index.php Braşov], [http://www.romaniatourism.com/ Romania]
 
:    Romanian citizen
 
:    Romanian citizen
 
:    Married, two children
 
:    Married, two children

Revision as of 16:33, 15 February 2006

Traian and Family.jpg
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
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