Difference between revisions of "Curriculum Vitae, Traian Florin Serbanuta"
From FSL
| 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.cs.uiuc.edu Department of Computer Science] |
| − | : [http://www.uiuc.edu University of Illinois at Urbana-Champaign] | + | :: [http://www.uiuc.edu University of Illinois at Urbana-Champaign] |
| − | : [http://www.uiuc.edu/ricker/CampusMap?buildingID=806&target=displayHighlight Siebel Center] | + | :: [http://www.uiuc.edu/ricker/CampusMap?buildingID=806&target=displayHighlight Siebel Center] |
| − | : 201 N. Goodwin, Urbana, IL, 61801 | + | :: 201 N. Goodwin, Urbana, IL, 61801 |
| − | + | :*Office | |
| − | : 2111A Siebel Center | + | :: 2111A Siebel Center |
| − | + | :*Phone | |
| − | : +1 (217) 333-5129 | + | :: +1 (217) 333-5129 |
| − | + | :*Email | |
| − | : [mailto://tserban2@cs.uiuc.edu tserban2@cs.uiuc.edu] | + | :: [mailto://tserban2@cs.uiuc.edu tserban2@cs.uiuc.edu] |
| − | + | :*Group | |
| − | : [[Formal Systems Laboratory]] | + | :: [[Formal Systems Laboratory]] |
| − | + | :*Advisor | |
| − | : [[Grigore Rosu]] | + | :: [[Grigore Rosu]] |
;Research Interests | ;Research Interests | ||
:- Logics and their applications to computing | :- Logics and their applications to computing | ||
Revision as of 06:36, 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
- Group
- Advisor
- 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.
