Difference between revisions of "Curriculum Vitae, Traian Florin Serbanuta"
From FSL
| Line 1: | Line 1: | ||
| − | + | ;Personal Data | |
| − | + | : Date of Birth: November 3, 1979, Braşov, Romania | |
| − | + | : Romanian citizen | |
| − | + | : Married, two children | |
| − | Personal Data | + | ;[[Contact information for Traian Florin Șerbănuță | Contact information]] |
| − | + | ;Research Interests | |
| − | + | :* Logics and their applications to computing | |
| − | + | :* Algebraic specification and formal methods for software engineering | |
| − | + | :* Algorithms, Programming using logics, Rewriting | |
| − | Contact | + | ;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 | |
| − | 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" | |
| − | + | :: Thesis Advisor: Professor Adrian Atanasiu | |
| − | + | ;Awards | |
| − | + | : 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 | |
| − | + | :: 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. | |
| − | 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. | |
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | Work Experience | + | |
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | Publications | + | |
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
Revision as of 06:30, 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.
