Mergi la conţinutul principal
  • English
  • Română
Share
Universitatea Politehnica Timisoara
Home
Ukraine ribbon
Departamentul Calculatoare şi Tehnologia Informaţiei
Programming your future, since 1966.

Navigare principală

  • Despre DCTI
  • Personal
  • Educaţie
  • Cercetare
  • Ştiri şi evenimente

Breadcrumb

  1. Acasă
  2. Personal

Conţinut

  • Personal academic
  • Cercetători
  • Tehnic și administrativ
  • In Memoriam
  • Foşti colegi
  • Foşti doctoranzi

Horia CIOCÂRLIE

Imagine Horia CIOCÂRLIE
Poziţie academică
Profesor emerit
Grad
Dr. Ing.
Contact birou
  Sala B530
 
(0256 40) 3285
  horia.ciocarlie (at) cs.upt.ro

Cercetare

Domenii de cercetare
  • Limbaje de programare şi compilatoare
    Modelare, verificare formală şi testare
Selecţie proiecte de cercetare
  • ICT-eMuCo: Embedded Multi-Core Processing for Mobile Communicating Systems - RO
Teze de doctorat conduse
  • Casandra HOLOTESCU: Inference of Safe Approximate Models for System Composition, 2013
  • Codruța ISTIN: Colectarea dinamică a datelor în reţele fără fir bazate pe video, 2011
Doctoranzi în stagiu
  • Mihai-Iulian BALINT
  • Laura BROASCĂ
  • Bogdan-Alexandru DATCU
  • Cristiana DINEA
  • Alisa Elena DIȚĂ
  • Sorin-Horațiu HOARĂ
  • Daniel IAVORSCHI
  • Antonio Flavius Marius LUPUȚI
  • Beniamin MARIN
  • Alin-Marius STANCIU
  • Rareș - Andrei STĂTESCU
  • Dana-Otilia SUSAN
  • Constantin ZAMFIRA

Evenimente

2023
26
Jan
Sesiunea de comunicări pentru aplicații mobile - SCMUPT 2023
2022
01
Jul
Party de vara DCTI 2022
2022
01
Jul
Diplomele de Merit ale departamentului pentru 2021
Arhivă completă Evenimente

Ştiri

December 8th, 2022
Gradații de merit 2023
November 13th, 2022
Draga noastră colegă, Mona CIOARGĂ, a plecat dintre noi
September 26th, 2022
Tehnologia Informației - Un nou program de inginerie în domeniul Calculatoare şi Tehnologia Informaţiei
Arhivă completă Ştiri
Ultima actualizare: Ian 25, 2023 - 20:58
SitemapContact şi direcţionare
Urmează-ne:FacebookLinkedin