|
|
Full Professor
|
|
Giuliano Antoniol
|
|
SOCCER Lab.
|
- Search base software engineering
- Software evolution and maintenance
- Reverse engineering, static code analysis
- Empirical software studies
- Software quality assurance
|
|
|
|
|
|
Associate Professor
|
|
John Mullins
|
|
CRAC Lab.
|
- Calculi for concurrent systems
- Applications of logic to concurrency
- Modal and temporal logics with fixed points
- Models and calculi for security
- Applications to verification of security
|
|
|
|
Full Professor
|
|
Pierre N. Robillard
|
|
SE Lab.
|
- Empirical study in software engineering
- Software process & software quality
- Simulation of complex micro-biological system
|
|