Passer au contenu

/ Département d'informatique et de recherche opérationnelle

Je donne

Rechercher

Experts in: Software design

Famelis, Michalis

FAMELIS, Michalis

Professeur agrégé

I am an assistant professor at the Department of Computer Science and Operations Research of the Université de Montréal, working in the GEODES Software Engineering Research Group (see more).

I work to create formal but practical techniques and methods for engineering software. To do this, I draw from disciplines such as formal verification, model-based engineering, and empirical methods. I study the context of software development and create novel techniques that use domain-specific abstractions that are supported by rigorous automation.

Read more...

Full Profile

Syriani, Eugene

SYRIANI, Eugene

Professeur titulaire

My main research interests are in model-based design, in particular model transformation design and verification, model-driven methodology, simulation-based design, and application of MDE in non-computer science domains.

Read more...

Full Profile