Difference between revisions of "Curriculum Vitae, Traian Florin Serbanuta"

Revision as of 20:37, 16 March 2013

(Back to Traian Florin Serbanuta's page)

Me and my family
October 2012

Personal Data

Place of Birth: Braşov, Romania

Religion: Orthodox Christian

Married, two children

Affiliation and Contact Data

Department of Computer Science

Faculty of Mathematics and Computer Science

University of Bucharest

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

ICSE'08 - JPredictor: A Predictive Runtime Analysis Tool for Java

WMC'08 - "Defining and Executing P-systems with Structured Data in K"

2007

SOS'07 - A Rewriting Logic Approach to Operational Semantics -- Extended Abstract

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