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
28
Sep
UPT Quantum Hub
2023
27
Jul
Sergio Goma Conference at Politehnica University of Timisoara: Towards a Fully Monolithic and Fully Computational Silicon Camera - A Multi Modal Depth Sensing Camera
2023
07
Jul
Department Merit Diplomas of 2022
Events Full Archive

News

June 6th, 2023
The Student Scientific Communications 2023
December 8th, 2022
Merit Awards 2023
November 13th, 2022
Our Dear Colleague, Mona CIOARGA, Passed Away
News Full Archive
Last update: Sep 25, 2023 - 14:05
SitemapContact and Directions
Follow us:FacebookLinkedin