Difference between revisions of "Curriculum Vitae, Traian Florin Serbanuta"
From FSL
m (→Selected Publications) |
m (→Selected Publications) |
||
Line 59: | Line 59: | ||
====Selected Publications==== | ====Selected Publications==== | ||
− | <purge></purge><pub id="rosu-serbanuta-2010-jlap" template=" | + | <purge></purge><pub id="rosu-serbanuta-2010-jlap" template="PubDefaultNoLinks" /> |
+ | <pub id="serbanuta-rosu-2009-ic" template="PubDefaultNoLinks" /> | ||
You can also check [[The complete list of Traian's publications]]. | You can also check [[The complete list of Traian's publications]]. |
Revision as of 20:36, 16 March 2013
(Back to Traian Florin Serbanuta's page)
Personal Data
- Place of Birth: Braşov, Romania
- Religion: Orthodox Christian
- Married, two children
Affiliation and Contact Data
- Department of Computer Science
- Address: Academiei 14, sector 1 010014, BUCUREȘTI, ROMANIA
- Tel. +40 21 314 2863
- Fax +40 21 315 6990
- email: traian.serbanuta@gmail.com
- homepage: http://fsl.cs.uiuc.edu/index.php/Traian_Florin_Serbanuta
Research Interests
- - Logics and their applications to computing
- - Algebraic specifications and formal methods for software engineering
- - Algorithms, Programming using logics, Rewriting
Education
- 2004-2010
- Ph.D, Department of Computer Science, University of Illinois at Urbana-Champaign
- Advisor: Grigore Rosu
- Committee: Tom Ball, Darko Marinov, Jose Meseguer, Madhusudan Parthasarathy
- 2002-2004
- Superior Normal School of Bucharest, Department of Informatics
- 2002-2004
- M.S., Foundations of Computer Science, Faculty of Mathematics and Informatics, University of Bucharest.
- M.S. Thesis: "Institutions and Logic Programming Compiling"
- Advisors: Razvan Diaconescu and 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
Professional Experience
- 2012-present
- Postdoctoral Scientific Researcher at University Alexandru Ioan Cuza of Iasi
- 2011-2012
- Postdoctoral Research Associate, Information Trust Institute, University of Illinois at Urbana-Champaign
- 2004-2010
- Research Assistant within the Formal Systems Laboratory, Department of Computer Science, University of Illinois at Urbana-Champaign
- 2003-2009
- Research Assistant, at Chair of Foundations 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
- Summer 2007
- Summer intern at Google New York
- Mentor: Bogdan Caprita
- Coauthored (with Bogdan Caprita) a patent related to traffic analysis technology
- Summer 2005
- Summer intern at Microsoft Research Redmond, Testing, Verification and Measurement
- Mentor: Madan Musuvathi
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
Selected Publications
- An Overview of the K Semantic Framework
- Grigore Rosu and Traian Florin Serbanuta
J.LAP, Volume 79(6), pp 397-434. 2010
You can also check The complete list of Traian's publications.
Presentations
- 2010
- WRLA'10 - "K-Maude: A Rewriting Based Tool for Semantics of Programming Languages" (presentation and tool demo)
- 2008
- 2007
- 2006
- WRLA'06 - Co-organizer and co-presenter of the Rewrite Engines Competition
- FOSSACS'06 - A Semantic Approach to Interpolation
- 2005
- MSR Redmond - Interleaving Boolean and theory reasoning in a SAT-based theorem prover (end of internship talk)
- Reviewed papers for
- J. of TCS, LOPSTR'06, WRS'06, ICCGI'06, RTA'07, FMOODS'07, WRLA'08, RTA'08, WADT'08, AMAST'08, FOSSACS'09