Curriculum Vitae, Traian Florin Serbanuta
Revision as of 06:24, 15 February 2006 by Tserban2
Traian Florin Şerbănuţă Curriculum Vitae October 12, 2005
Date of Birth: November 3, 1979, Braşov, Romania Romanian citizen Married, two children
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: firstname.lastname@example.org Group: Formal Systems Laboratory Advisor: Grigore Rosu
* Logics and their applications to computing * Algebraic specification and formal methods for software engineering * Algorithms, Programming using logics, Rewriting
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
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
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
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.