Horia Ciocârlie

Domenii de cercetare

• Limbaje de programare şi compilatoareModelare, verificare formală şi testare

Selecţie proiecte de cercetare

• ICT-eMuCo: Embedded Multi-Core Processing for Mobile Communicating Systems

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