|
|
Full Professor
|
|
Alain Abran
|
|
SE and IS Dept.
|
- Foundations of SE
- Software quality assurance
- Software cost analysis
- Risks assessment and management
|
|
|
|
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
|
|
Hakim Lounis
|
|
CS Dept.
|
- Software quality
- Software maintenance
- Revere- and re-engineering
- Machine learning
- Knowledge-based systems
|
|
|
|
|
Full Professor
|
|
Hafedh Mili
|
|
CS Dept.
|
- AOP system development
- Component-based development
- Workflow modeling
- E-Markets
- Data mining
|
|
|
|
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
|
|
|
|
Assistant Professor
|
|
Martin Robillard
|
|
SWEVO
|
- Software evolution and modularity
- Information traceability
- Aspect-oriented software development
- Program understanding
- Empirical software engineering
|
|
|
|
Full Professor
|
|
Pierre N. Robillard
|
|
SE Lab.
|
- Empirical study in software engineering
- Software process & software quality
- Simulation of complex micro-biological system
|
|
|
|
Associate Professor
|
|
Jürgen Rilling
|
|
SE Lab.
|
- Software traceability
- Process modeling
- Program comprehension
- Use case maps
|
|
|
|
Full Professor
|
|
Houari Sahraoui
|
|
GEODES Lab.
|
- Object-oriented Metrics and Quality
- Software Visualization
- Software Re-engineering and Evolution
- Search-based Software Engineering
- Metamodeling and Model Transformation
|
|
|
|
Assistant Professor
|
|
Aziz Salah
|
|
CS Dept.t
|
- Service Web systems
- Communicating systems
- Formal specification synthesis
- Scenarios and use cases
- Model transformation
|
|
|
|
Associate Professor
|
|
Julie Vachon
|
|
GEODES Lab.
|
- Analysis and design of AOP systems
- Formal specification and verification
- Specification of concurrent systems
- Service Web orchestration
|
|
|
|
Associate Professor
|
|
Petko Valtchev
|
|
CS Dept.
|
- Knowledge management
- Semantic Web and ontologies
- Mining structured data
- Software engineering modeling
- Algorithms for lattices and partial orders
|
|