| Research areas: Database, Security |
Research areas: Robotics, Embedded systems
|
Research areas: Automatic control |
Research areas: Software Engineering |
Research areas:
Software Engineering,
Formal
methods,
Testing |
Research areas: Database, Data mining |
Research areas:
Software Engineering,
Formal
methods,
Service-oriened computing |
Research areas: Automatic control |