Curriculum Vitae, Traian Florin Serbanuta

Traian Florin Şerbănuţă Curriculum Vitae October 12, 2005

Personal Data

   Date of Birth: November 3, 1979, Braşov, Romania
   Romanian citizen
   Married, two children

Contact Data

   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
   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 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.