Menu:

RO EN
română english

Curriculum  Vitae

(Update in July 20, 2023)

Full Name: Florentina Laura Stoica (n. Cacovean)

(1) ACADEMIC DEGREES and EDUCATION

2014: PhD in Informatics, University "Babeş – Bolyai", Cluj- Napoca, Romania
Title of PhD thesis: Formal verification of models for systems with discrete events
2005: Master's degree. Specialization: Mathematics - Applied Informatics
Faculty of Sciences. Lucian Blaga University of Sibiu, Romania
2004: Bachelor's degree. Specialization: Mathematics - Informatics
Title obtained: Graduate in Mathematics - Informatics
Faculty of Sciences. Lucian Blaga University of Sibiu, Romania
2000: High school Diploma. Specialization: Informatics
"Andrei Saguna" National Pedagogical College, Sibiu
Proffesional Certificate (Certificate by which knowledge of programming analyst was acquired)

(2) KNOWLEDGE OF FOREIGN LANGUAGES

English

(3) TEACHING POSITIONS (PROFESSIONAL) AND JOBS

Oct. 2017 - present: Associate Professor, PhD
Department of Mathematics and Informatics. Informatics Devision.
Faculty of Sciences. Lucian Blaga University of Sibiu, Romania
Feb. 2015 - Oct. 2017: Lecturer, PhD
Department of Mathematics and Informatics. Informatics Devision.
Faculty of Sciences. Lucian Blaga University of Sibiu, Romania
Nov. 2014 - Feb. 2015: Assistant, PhD
Department of Mathematics and Informatics. Informatics Devision.
Faculty of Sciences. Lucian Blaga University of Sibiu, Romania
Nov. 2006 – Nov. 2014: Assistant, PhD student
Informatics Devision.
Faculty of Sciences. Lucian Blaga University of Sibiu, Romania
Nov. 2005 – Nov. 2006: PhD student with a scholarship
Doctoral field: Cybernetics and Economic Statistics
Faculty of Sciences. Lucian Blaga University of Sibiu, Romania
Sep. 2005 – Nov. 2006: High School Teacher
"A.T. Laurian" Theoretical High School, Agnita, Sibiu
Activity of field: Information and Communication Technology
Disciplines taught: Information and Communication Technology (ICT), Computer Applied Technology (CAT)
Sep. 2004 – Aug. 2005: High School Teacher, Substitute
"Samuel von Brukenthal" National College, Sibiu
Activity of field: Informatics
Disciplines taught: Informatics, ICT

(4) PROFESSIONAL ACTIVITY

Educational activities:

See the section Didactic Activity

Scientific activities:

  1. Research fields:
    model checking, temporal logics, automatic checking of software systems

  2. Activity in scientific events

  3. Research and development projects

(4) ACTIVITY OF ELABORATION AND PUBLICATION OF WORKS

See the section Publication

(5) OTHER ACTIVITIES

May 2015 - present:

April 2015 - July 2015: