Former Colleagues

Dr. Eng.

Marian BOLDEA

Lecturer

Activity at Department

- 2007

Dr. Eng.

Constantin COSOVAN

Lecturer

Activity at Department

- 2013

Dr. Eng.

Casandra HOLOTESCU

Lecturer

Research Fields and Interests

Modeling, formal verification and testing; Component-based systems;

Modeling, formal verification and testing: black-box and white-box model inference, model-based automated test generation, security protocol modelling and verification
Component-based systems: component-based formal verification with an accent on controllability aspects, component-based debugging

Activity at Department

2008 - 2022

Dr. Eng.

Carmen HOLOTESCU

Teaching Assistant

Activity at Department

2005 - 2015

Eng.

Dan CHICIUDEAN

Teaching Assistant

Research Fields and Interests

Hardware-software systems; Intelligent robotic environments; Embedded systems; Signal processing and multimedia; Signal acquisition and processing; Intelligent infrastructures and environments; Instrumentation and measurement; Smart sensing and perception systems; Networks and Communications; Protocols, interfaces and encoding; Sensor networks.

Activity at Department

2002 - 2015