Researcher of
IKF
(Eureka project on Information and Knowledge Fusion, (2001-2005)
Participant of the Camila project on
Formal Specification and Prototyping (1990 - 1997).
Researcher and secretary of the
LogComp project on
Logic and Computation (1997 - 2000).
Coordinator of the PURe Project
on Program Understanding and Re-engineering: Calculi and Applications (2003-2006)
Coordinator of the MAP-i Doctoral Programme Executive Committee
(2006-2008)
Member of the
APPSEM-II (Tematic Network on Applied Semantics)
Portuguese Coordinator of the LerNet
Alfa Europe - Latin America
Joint PhD Program on Language Engineering and Rigourous Software Development
(2005-2008)
Researcher:IVY(FCT Project: A model-based usability analysis environment, 2005-08)
Coordinator: Portugal - P. R. China Grices Project
on Formal Models for Software Components, since 2005.
Coordinator: MONDRIAN Project
(FCT: Foundations for architectural design , since March 2010)
Coordinator: MathIS Project
(FCT: Reinvigorating Mathematics for the Information Society, since January 2009)
Researcher:
CROSS
Project (FCT: An Infrastructure for Certification
and Re-engineerng of Open Source Software, since March 2010)
Contributer: Overture
(Taskforce aimed at building an open source community around the development
of the next generation of interoperable tools for models in VDM++)
PC member of SBLP'03, Ouro Preto, Brasil, May 28-30, 2003
PC member of WSE'03 - Workshop on Software Engineering, CACIC, Univ. de La Plata, Argentina, 2003
PC member of FACS'03, co-located with FME, Pisa,
Italy, September 8-9, 2003
PC member of WMF'03, VI Brazilian Workshop on Formal Methods,
Campina Grande, Paraíba, Brasil,
October 13-14, 2003
PC member of SBLP'04, Niteroi, Brasil, May 26-28, 2004
PC member of ICTAC'04, First International Colloquium on Theoretical Aspects
of Computing, Guiyang, China, 20-24 Sep., 2004
PC member of SBMF'04, 7th Brazilian Symposium on Formal Methods, Recife, Brasil, 29 Nov - 1 Dec., 2004
Member of the Evaluation Board of XI Concurso CLEI - UNESCO (Teses de Maestria en Informatica
Latinoamericanas), August 2004.
PC member of SBLP'05, Recife, Brasil, May 23-25, 2005
PC co-chair of FACS'05,
(2nd Inter. Workshop on Formal Aspects of Component Software), Macau, 24-25 October 2005
PC member of SBMF'05
(Brazilian Symp. on Formal Methods), Porto Alegre, Brasil, 28-30 Nov 2005
PC member of FACS'06
(3rd Inter. Workshop on Formal Aspects of Component Software), Prague, Check Republic,
20-22 Sep 2006
PC member of SBMF'06
(Brazilian Symp. on Formal Methods), Natal, Brasil, 18-20 Sep 2006
PC member of FOCLASA'06
(5th Inter. Workshop on the Foundations of Coordination Languages and Software Architectures),
Bonn, Germany, 31 August 2006
PC member of ICFEM'06
(8th Inter. Conf. on Formal Engineering Methods), Macau, 30 Oct - 3 Nov 2006
PC co-chair of Overture'06
(2nd Overture Workshop), at FM'06, McMaster University, Hamilton, Ontario, Canada, 21 August 2006
PC member of AMAST'06
(11th Inter. Conf. on Algebraic Methodology and Software Technology), Kuressaare, Estonia, 5-8 Jul 2006
PC member of Coordination 2006
(8th Inter. Conf. on Coordination Models and Languages), Bologna, Italy, 14-16 Jun 2006
PC member of SBLP'06
(10th Brazilian Symp. on Programming Languages), Itatiaia, Rio de Janeiro, Brasil, 15-17 May 2006
PC member of CMCS'06
(8th Inter. Workshop on Coalgebraic Methods in Computer Science), Vienna, Austria, 25-27 Mar 2006
PC member of TTSS'07
(1th Inter. Workshop on Harnessing Theories for Tool Support in Software), Macau, China,
22-23 Sep 2007
PC member of FACS'07
(4th Inter. Workshop on Formal Aspects of Component Software), Sophia-Antipolis, France,
19-21 Sep 2007
PC member of SYANCO'07
(Inter. Workshop on Synthesis and Analysis of Component Connectors), Dubrovnik, Croatia,
3-4 Sep 2007
PC member of FOCLASA'07
(6th Inter. Workshop on the Foundations of Coordination Languages and Software Architectures),
Lisbon, Portugal, September 2007
PC member of SBMF'07
(Brazilian Symp. on Formal Methods), Ouro Preto, Brasil, August 2007
PC member of QAC 2007,
(First International Workshop on Quality Aspects of Coordination),
Shangai, China, 4-5 June 2007
PC member of SBLP'07
(Brazilian Symp. on Programming Languages), Natal, Brasil, May 2007
PC co-chair of OpenCert'07,
(1st Inter. Workshop on Foundations and Techniques for Open Source Software Certification),
at ETAPS'07, Braga, 24-25 March 2007
PC member of FInCo'07,
(2nd Inter. Workshop on Foundations of Interactive Computation),
at ETAPS'07, Braga, 24-25 March 2007
Satellite Events Co-Chair of ETAPS'07
(European Joint Conferences on Theory and Practice of Software), Braga, Portugal, 24 Mar - 1 Apr 2007
PC member of SEFM'08
(6th IEEE Inter. Conf. on Software Engineering and Formal Methods), Cape Town, South Africa,
10-14 Nov 2008
PC member of FACS'08
(5th Inter. Workshop on Formal Aspects of Component Software), Malaga, Spain,
10-12 Sep 2008
PC member of SBMF'08
(Brazilian Symp. on Formal Methods), Bahia, Brasil, 26-29 August 2008
PC member of SBLP'08
(Brazilian Symp. on Programming Languages), Fortaleza, Brasil, 27-29 August, 2008
PC member of FOCLASA'08
(7th Inter. Workshop on the Foundations of Coordination Languages and Software Architectures),
Reykjavik, Iceland, July 13th, 2008
PC member of TTSS'08
(2th Inter. Workshop on Harnessing Theories for Tool Support in Software), Nanjing, China,
15-16 June 2008
PC member of SEFM'09
(7th IEEE Inter. Conf. on Software Engineering and Formal Methods), Hanoi, Vietnam,
23-27 Nov 2009
PC member of FACS'09
(6th Inter. Workshop on Formal Aspects of Component Software), Eindhoven, The Netherlands,
2-3 November 2009
PC member of FOCLASA'09
(9th Inter. Workshop on the Foundations of Coordination Languages and Software Architectures),
Rhodes, Greece, 11 July 2009
PC member of SBLP'09
(XIII Brazilian Symp. on Programming Languages), Gramado, RS, Brazil,
19-21 August 2009
PC member of SBMF'09
(Brazilian Symp. on Formal Methods), Gramado, RS, Brazil,
19-21 August 2009
PC member of FInCo'09,
(3rd Inter. Workshop on Foundations of Interactive Computation),
at ETAPS'09, York, 29 March 2009
PC co-chair of OpenCert'09,
(3rd International Workshop on Foundations and Techniques for
Open Source Software Certification),
at ETAPS'09, York, 28 March 2009
PC member of SBMF'10
(13th Brazilian Symp. on Formal Methods), Natal, Brazil,
8-12 November 2010
PC member of SBLP'10
(XIV Brazilian Symp. on Programming Languages), Salvador - Bahia, Brazil,
27-29 October, 2010.
PC co-chair of FACS'10
(7th Inter. Workshop on Formal Aspects of Component Software), Guimaraes, Portugal,
14-16 October 2010.
PC member of SEFM'10
(8th IEEE Inter. Conf. on Software Engineering and Formal Methods), Pisa, Italy,
20-24 Sep 2010
PC co-chair of OpenCert'10,
(4th International Workshop on Foundations and Techniques for
Open Source Software Certification),
Pisa, Italy, 17-18 September, 2010.
PC co-chair of Inforum'10
(2th Portuguese Forum for Informatics), UM, Braga, Portugal, 9-10 Sep 2010
PC member of FOCLASA'10
(9th Inter. Workshop on the Foundations of Coordination Languages and Software Architectures),
Paris, France, 4th September, 2010.
OC member of ICPC'10
(18th IEEE International Conference on Program Comprehension), Braga, Portugal,
30 June - 2 July 2010
PC member of CMCS'10
(10th International Workshop on Coalgebraic Methods in Computer Science), Paphos, Cyprus,
26-28 Mar 2010
PC member of Refinement'11,
(2011 Refinement Workshop),
Limerick, Irleand, 20 June, 2011.
PC member of SIMPDA'11,
(IFIP 2.6 - 2.12 First International Symposium on Data-Driven Process Discovery and Analysis),
Campione d'Italia, Italy, 29 June - 1 July, 2011.
PC member of CALCO-Tools,
(Algebra and Coalgebra in Computer Science - Tools),
Winchester, UK, 30th August - 2th September, 2011
PC member of FOCLASA'11
(10th Inter. Workshop on the Foundations of Coordination Languages and Software Architectures),
Aachen, Germany, 10th September, 2011.
PC member of IWSSC'11
(1st First Workshop on Securing Services on the Cloud), Milan, Italy, 6-8 September, 2011.
PC member of SOFT-PT 2011
(SOFT-PT Track at INFORUM),Universidade de Coimbra, Portugal, September 8-9, 2011.
PC member of FACS'11
(8th Inter. Workshop on Formal Aspects of Component Software), Oslo, Norway, September 14-16, 2011.
PC member of SBMF'11
(14th Brazilian Symp. on Formal Methods), S. Paulo, Brazil, 26-30 September 2011.
PC member of SBLP'11
(XV Brazilian Symp. on Programming Languages), S. Paulo, Brazil, 26-30 September 2011.
PC member of SEFM'11
(9th IEEE Inter. Conf. on Software Engineering and Formal Methods), Motevideo, Uruguay,
14 - 18 November, 2011.
PC member of SEFM'13
(11th IEEE Inter. Conf. on Software Engineering and Formal Methods),Madrid, Spain, 25-27 September, 2013.
PC member of FACS'13
(10th Inter. Symposium on Formal Aspects of Component Software), Nanchang, China,October, 28-30, 2013.
PC member of SEFM'12
(10th IEEE Inter. Conf. on Software Engineering and Formal Methods),Thessaloniki, Greece, 1-5 October, 2012.
PC member of InSuEdu'12
(1st International Symposium on Innovation and Sustainability in Education),Thessaloniki, Greece, 1 October, 2012.
PC member of OpenCert'12
(6th International Workshop on Foundations and Techniques for
Open Source Software Certification
),Thessaloniki, Greece, 1-2 October, 2012.
PC member of SBMF'12
(14th Brazilian Symp. on Formal Methods), Natal, Brazil, 23-28 September, 2012.
Co-chair of SBLP'12
(XVI Brazilian Symp. on Programming Languages), Natal, Brazil, 23-28 September, 2012.
PC member of CMCS'12
(11th International Workshop on Coalgebraic Methods in Computer Science),Tallinn, Estonia, 31 March - 1 April, 2012.