Software Engineering Laboratory (SEL). UNSL, Argentina
2002- today
Research topics: Lightweight formal methods, Alloy, UML profiles, OCL, model driven architecture, information technology audit.
High-Assurance Software Laboratory (HASLab). Universidade do Minho, Portugal
2011- 2013
Research topics: Lightweight formal methods, Alloy, model driven engineering, UML, OCL.
International Institute for Software Technology (IIST). United Nations University, Macao, China
2007- 2008
Research topics: Formal methods, RAISE, RSL, SPIN, model checking.
Laboratory of Computational Intelligence (LIDIC). UNSL, Argentina
2000- 2002
Research topics: Machine learning, reinforcement learning, classifier systems.