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:
- Research fields:
model checking, temporal logics, automatic checking of software systems - Activity in scientific events
- Research and development projects
(4) ACTIVITY OF ELABORATION AND PUBLICATION OF WORKS
See the section Publication
(5) OTHER ACTIVITIES
May 2015 - present:
- Erasmus Coordinator with activities on the promotion, counseling and guidance of students of the Faculty of Science for participation in Erasmus mobilities organized by LBUS within community programs.
- Erasmus Coordinator with activities for foreign Erasmus students arriving at the Faculty of Science (http://stiinte.ulbsibiu.ro/erasmus).
April 2015 - July 2015:
- IT training expert in the POSDRU/156/1.2/G/141055 project team – e-Incluziune: "Development and implementation of an assistance program based on ICT technologies, to increase access to higher education for people with disabilities.".