CURRICULUM VITAE


Family Name: STRATULAT
First Name: Sorin
Date of Birth: 09 May 1971
Place of Birth: Bucharest, Romania
Nationality: Romanian
Marital Status: single
Military Service: October 1989 - April 1990
Permanent Address: str. Garoafei, nr.4, bl.6, sc.B, et.2, ap.16
  sector 5, Bucharest, Romania
  tél. : +(40)-1-7764786
Home Address: C.U. Placieux, ch.1128, bd. Maréchal Lyautey
  54600, Villers-lès-Nancy, France
Professional Address: LORIA/INRIA-Lorraine Bâtiment LORIA
  615, rue du Jardin Botanique
  54506 Vandoeuvre-lès-Nancy, France
  phone : +(33)-03 83 59 30 02

CURRENT STATUS


  Position: PhD student in Computer Science, Nancy I
  Starting from: October 1996
  Place: Henri Poincaré University, Nancy I
  Lab: LORIA/INRIA Lorraine
  Team: PROTHEO
  Research Advisor: Michaël Rusinowitch
  PhD Thesis's Title: Automated Software Verification in Telecommunications



EDUCATIONAL BACKGROUND
· October 1995 -- September 1996
  Master's Program in Computer Science, Henri Poincaré University, Nancy I
· October 1990 -- August 1995
  Informatics Engineering, "Politehnica" University of Bucharest
· September 1985 -- June 1989
  High School of Computer Science, Bucharest
RESEARCH INTERESTS


 Validation of Telecommunication Services, Automated Deduction,
  Integration of Mechanized Reasoning Systems, Distributed and Parallel Computing
RESEARCH EXPERIENCE


  Publications in the domain of

            -   validation of telecommunication services: [krs99, str96, cnet97, rapportsCNET]
            -   integration of deduction systems: [adrs99, str97, str98b]
            -   parallelization of deduction systems: [str98a]
            -   software parallelization: [se95]
            -   logic and logic programming: [pls94a, pls94b]

TEACHING EXPERIENCE
· March 1999 -- April 1999
  Teaching Assistant for ``Computer Science Foundations'' course, DEUG MIAS 1, UHP Nancy I
· February -- March 1998
  Teaching Assistant for ``Databases'' course, ENSAIA, INPL
· February -- March 1997
  Teaching Assistant for ``Databases and Expert Systems'' course, ENSAIA, INPL
· October 1994 -- February 1995
  Teaching Assistant for ``Logic'' course, Faculty of Informatics for Economics, Romanian-American University, Bucharest
FINANCIAL SUPPORT


· October 1996 -- September 1999
 PhD stipend offered by INRIA
· October 1995 -- September 1996
 Master's stipend offered by the French Government
· March -- June 1995
 TEMPUS stipend offered by DISCO European project for doing the final project of Informatics Engineering studies at PARC (Parallel Algorithms Research Centre), Loughborough University of Technology, England
· October 1990 -- June 1995
 Scholarship offered by the Romanian Government
LANGUAGES


French speaking, reading and writing
English speaking, reading and writing
  American English for Business Communication Diploma
Romanian mother tongue

HOBBIES


  reading, guitar playing, swimming, skiing



This document was translated from LATEX by HEVEA.