Menu:

RO EN
română english

Curriculum  Vitae

(Actualizat in data de 20 iulie 2023)

Florentina Laura Stoica (n. Cacovean)

(1) STUDII

2014: Doctorat în Informatică. Titlul tezei de doctorat: Verificarea formală a modelelor pentru sisteme cu evenimente discrete. Facultatea de Matematică și Informatică. Universitatea "Babes Bolyai" din Cluj-Napoca
2005: Diplomă de master. Specializarea: Matematică – Informatică aplicată
Facultatea de Științe. Universitatea "Lucian Blaga" din Sibiu, România
2004: Diplomă de licență. Specializarea: Matematică – Informatică
Titlu: Licențiat în Matematică și Informatică
Facultatea de Științe. Universitatea "Lucian Blaga" din Sibiu, România
2000: Diplomă de bacalaureat. Profil: Informatică
Colegiul National Pedagogic "Andrei Șaguna", Sibiu
Atestat profesional în Informatică (Atestat prin care s-au dobândit cunoștințe de analist programator)

(2) LIMBI STRĂINE CUNOSCUTE

engleză

(3) FUNCȚII DIDACTICE (PROFESIONALE) ȘI LOCURI DE MUNCĂ

Oct. 2017 - prezent: Conferențiar universitar dr.
Departamentul de Matematică și Informatică. Colectivul de Informatică.
Universitatea "Lucian Blaga" Sibiu, Facultatea de Științe, România
Feb. 2015 - Oct. 2017: Lector universitar dr.
Departamentul de Matematică și Informatică. Colectivul de Informatică.
Universitatea "Lucian Blaga" Sibiu, Facultatea de Științe, România
Nov. 2014 - Feb. 2015: Asistent universitar dr.
Departamentul de Matematică și Informatică. Colectivul de Informatică.
Universitatea "Lucian Blaga" Sibiu, Facultatea de Științe, România
2010 - 2014: Doctorand
Domeniu doctorat: Informatică
Universitatea "Babes-Bolyai" din Cluj-Napoca, Facultatea de Matematica si Informatica
Nov. 2006 – Nov. 2014: Preparator universitar drd.
Catedra de Informatică
Universitatea "Lucian Blaga" Sibiu, Facultatea de Științe, România
Nov. 2005 – Nov. 2006: Doctorand cu frecvență cu bursă
Domeniu doctorat: Cibernetică și Statistică Economică
Universitatea "Lucian Blaga" Sibiu, Facultatea de Științe, România
Sep. 2005 – Nov. 2006: Profesor titular
Liceul Teoretic "A.T. Laurian", Agnita, Sibiu
Domeniu de activitate: Tehnologia Informației și Comunicării
Discipline predate: Tehnologia Informației și Comunicării (TIC) și Tehnologia Aplicată pe Calculator (TAC) la ȘAM și Liceu.
Sep. 2004 – Aug. 2005: Profesor suplinitor
Colegiul Național "Samuel von Brukenthal" Sibiu
Domeniu de activitate: Informatică
Discipline predate: Informatică și Tehnologia Informației și Comunicării

(4) ACTIVITATEA PROFESIONALĂ

Activități didactice:

Vezi sectiunea Activitate didactică

Activități științifice:

  1. Domenii de cercetare:
    model checking, logici temporale, verificarea automată a sistemelor software

  2. Activitate în manifestări științifice

  3. Proiecte de cercetare-dezvoltare

(4) ACTIVITATEA DE  ELABORARE ȘI PUBLICARE DE LUCRĂRI

Vezi sectiunea Publicații

(5) ALTE ACTIVITĂȚI:

PERIOADA: mai 2015 - prezent

PERIOADA: aprilie 2015 - iulie 2015