Curriculum Vitae

© Uniunea Europeană, 2002-2013 | http://europass.cedefop.europa.eu Pagina 1 / 3

INFORMAŢII PERSONALE Oana Iulia Casandra HOLOTESCU

casandra@cs.upt.ro

Data naşterii - | Naţionalitatea română

EXPERIENŢA PROFESIONALĂ

EDUCAŢIE ŞI FORMARE

CERCETARE

Domeniile de cercetare component-based software verification, adaptation and model inference, automated debugging and testing, static and dynamic program analysis

Proiecte de cercetare 2011 – prezent: European FP7 project SPACIOS 2010: European FP7 project AVANTSSAR 2009 – 2010: COST Action IC0701 (2008-2012) 2008 – 2011: bursă doctorală POSDRU

Publicaț ii Lucrări ştiinţifice publicate: 5 lucrări ştiinţifice publicate, toate 5 în străinătate, ș i de prim autor.

Dintre acestea, 4 sunt indexate BDI (ACM, IEEE Xplore, SCOPUS).

Casandra Holotescu, “Local model learning for asynchronous services”, Proceedings of the 4th International Workshop on Principles of Engineering, Service-Oriented Systems (PESOS 2012), Zurich, Switzerland, pages 22–28, IEEE press, June 2012. Casandra Holotescu. “Asynchronous learning for service composition”, Proeedings of the 7th International Workshop on Engineering Service-Oriented Applications (WESOA 2011) in ICSOC Workshops, Paphos, Cyprus, volume 7221 of Lecture Notes in Computer Science series, pages 76–86, Springer-Verlag Heidelberg, December 2011.

LOCUL DE MUNCA PENTRU CARE SE CANDIDEAZĂ

Postul de Asistent Universitar, poziţia 63, din statul de funcţiuni al departamentului de Calculatoare din cadrul Universităţii ”Politehnica” din Timişoara

2010 - prezent

Cercetător în cadrul Institutului privat de cercetare eAustria Timiș oara. 2009 - prezent

Cadru didactic asociat în cadrul departamentului de Calculatoare al Universităţii ”Politehnica” din Timişoara. Discipline predate: Sisteme de operare, Programare orientata pe obiecte, Limbaje de programare, Programarea calculatoarelor, Tehnici de programare, Proiect sincretic

2008 - 2013

Studii doctorale în cadrul Universităţii “Politehnica” din Timişoara, Facultatea de Automatică şi Calculatoare. Medie studii: 9.83. Diplomă de doctor în Domeniul Calculatoare şi Tehnologia Informaţiei cu teza de doctorat Inference of Safe Approximate Models for System Composition, teză susț inută public la data de 26.04.2013.

2003 - 2008

Studii în cadrul Universităţii “Politehnica” din Timişoara, Facultatea de Automatică şi Calculatoare, Specializarea Calculatoare si Tehnologia Informatiei. Medie finală: 9.43. Diplomă de inginer, formă lungă (pre-Bologna), cu teza Debugging Tool with Dynamic Slicing and Slice Manipulation Features.

Curriculum Vitae Oana Iulia Casandra HOLOTESCU

© Uniunea Europeană, 2002-2013 | http://europass.cedefop.europa.eu Pagina 2 / 3

Casandra Holotescu, “Error-avoiding adaptors for black-box software components”, Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010), Antwerp, Belgium, pages 487–492, ACM, September 2010. Casandra Holotescu, “Black-box composition: a dynamic approach”, Proceedings of the 9th International Workshop on Specification and Verification of Component Based Systems, Santa Fe, New Mexico, USA, online proceedings, November 2010. Casandra Holotescu, “Controlling the unknown”, Preproceedings of the First International Conference on Verification of Object Oriented Systems (FoVeOOS 2010), Paris, France, pages 283–297, June 2010.

COMPETENȚE PERSONALE

Spaniolă ΙNΤELEGERE VORBIRE SCRIERE

Ascultare Citire Participare la conversaţie

Discurs oral

mediu mediu mediu mediu mediu

Franceză ΙNΤELEGERE VORBIRE SCRIERE

Ascultare Citire Participare la conversaţie

Discurs oral

Intermediar Intermediar intermediar intermediar intermediar

Rusă ΙNΤELEGERE VORBIRE SCRIERE

Ascultare Citire Participare la conversaţie

Discurs oral

începător începător începător începător începător

Limba(i) maternă(e) Română

Competenţe de comunicare 2005 - prezent: actriț ă ș i regizor, Teatrul Studenț esc Thespis, Casa Studenț ilor, Timiș oara 1999 – prezent: poetă ș i scriitoare, debut editorial cu volumul Descompunerea picăturii (2003)

Competenţe organizaţionale/manageriale

2004-2005 - redactor ș ef “Revista Enter”, revista on-line a Universitatii „Politehnica” Timiș oara

Competenţe informatice ▪ Programare orientata pe obiecte, Design Patterns & Principles

▪ Verificare si Validare Software: Testare, Metode Formale, QA

▪ Programare în limbajele: Java, ANSI C, C++ , OCAML

▪ Lucru cu baze de date: ORACLE, MYSQL

▪ Programare si Administrare de sistem: Unix (+ shell scripting)

Alte limbi străine cunoscute

Engleză ΙNΤELEGERE VORBIRE SCRIERE

Ascultare Citire Participare la conversaţie

Discurs oral

avansat avansat avansat avansat avansat

Curriculum Vitae

© Uniunea Europeană, 2002-2013 | http://europass.cedefop.europa.eu Pagina 3 / 3

INFORMAΤII SUPLIMENTARE

Permis de conducere Categoria B