Skip to main content
  • English
  • Română
Share
Universitatea Politehnica Timisoara
Home
Ukraine ribbon
Department of Computer and Information Technology
Programming your future, since 1966.

Main navigation

  • About DCTI
  • People
  • Education
  • Research
  • News and Events

Breadcrumb

  1. Home
  2. People

Contents

  • Academic Staff
  • Researchers
  • Technical and Administrative
  • In Memoriam
  • Former Colleagues
  • Former PhD Students

Horia CIOCÂRLIE

Picture of Horia CIOCÂRLIE
Academic Title
Professor Emeritus
Degree
Dr. Eng.
Office Contact
  Room B530
 
(0256 40) 3285
  horia.ciocarlie (at) cs.upt.ro

Research

Research Fields
  • Modeling, formal verification and testing
    Programming languages and compilers
Selected Research Projects
  • ICT-eMuCo: Embedded Multi-Core Processing for Mobile Communicating Systems
Supervised PhD Theses
  • Casandra HOLOTESCU: Inference of Safe Approximate Models for System Composition, 2013
  • Codruța ISTIN: A Dynamic Data Gathering in Video Based Wireless Sensor Networks, 2011
PhD Students under Supervision
  • 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

Events

2023
07
Mar
Laura BROASCĂ, Public Dissertation of PhD Thesis
2023
26
Jan
Mobile Applications Student Contest - SCMUPT 2023
2022
01
Jul
DCTI Summer Party 2022
Events Full Archive

News

December 8th, 2022
Merit Awards 2023
November 13th, 2022
Our Dear Colleague, Mona CIOARGA, Passed Away
September 26th, 2022
Information Technology - A New Bachelor Engineering Program in the Field of Computer and Information Technology
News Full Archive
Last update: Mar 23, 2023 - 10:55
SitemapContact and Directions
Follow us:FacebookLinkedin