Research team
Expertise
My main research interest are System/Software Engineering with emphasis on V&V techniques, modeling and formal methods. Particularly, I have experience in applying formal reasoning techniques, mainly model checking, to verify UML/SysML behavioral models. I am also interested in model management aspects, like how to better store, query, and verify model artifcats, considering the workflows in the system development process.