Mergi la conţinutul principal
  • English
  • Română
Share
Universitatea Politehnica Timisoara
Home
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
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
  • Laura BROASCĂ
  • Cristiana DINEA
  • Alisa Elena DIȚĂ
  • Sorin-Horațiu HOARĂ
  • Antonio Flavius Marius LUPUȚI
  • Beniamin MARIN
  • Rareș - Andrei STĂTESCU
  • Iulia ȘTIRB
  • Dana-Otilia SUSAN
  • Constantin ZAMFIRA

Evenimente

2021
19
Jan
Sesiunea de comunicări pentru aplicații mobile SCMUPT 2021
2020
14
Dec
Diplomele de Merit ale departamentului pentru 2020
2020
09
Dec
Iulia ȘTIRB, susținere publică a Tezei de doctorat
Arhivă completă Evenimente

Ştiri

January 25th, 2021
Concursuri pentru posturi disponibile, sem. I 2020 - 2021
January 7th, 2021
Gradații de merit 2021
July 29th, 2020
CloudPUTing - Platformă Cloud de înaltă performanță la Universitatea Politehnica Timișoara
Arhivă completă Ştiri
Ultima actualizare: Ian 19, 2021 - 15:13
SitemapContact şi direcţionare
Urmează-ne:FacebookLinkedin