Former Colleagues

Dr. Eng.

Software engineering; Operating systems; Networks and Communications; Computer graphics and machine vision; Graphics rendering and animation; Image and video processing.

1992 - 2024

Dr. Eng.

- 2007

Dr. Eng.

- 2013

Dr. Eng.

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

2008 - 2022

Dr. Eng.

Programming languages and compilers.

2010 - 2022

Dr. Eng.

2005 - 2015

Eng.

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.

2002 - 2015

Eng.

Automatic generation and regeneration of logic representation for object-oriented programming languages; Formal verification of SDL protocols.

2001 - 2008

Eng.

1970 - 2010

Eng.

Hardware-software systems; Embedded systems; Networks and Communications; Sensor networks.

2007 - 2014