Difference between revisions of "Curriculum Vitae, Traian Florin Serbanuta"
From FSL
| Line 1: | Line 1: | ||
| − | [[Image:Traian and Family.jpg|right|thumb| Me and my family]] | + | [[Image:Traian and Family.jpg|right|thumb| Me and my family<br /> December 2005]] |
;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] | : Date of Birth: November 3, 1979, [http://www.brasovtravelguide.ro/bv-en/index.php Braşov], [http://www.romaniatourism.com/ Romania] | ||
Revision as of 18:03, 15 February 2006
December 2005
- 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, Department of Informatics
- 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.
