Some Current Professional Activities

• Member of ACM, IEEE Computer Society
• Associate Editor, IEEE Transactions on Software Engineering (2003-2007)
• Steering committee member, CASCON (2005 - present)
• Steering committee member, ETAPS (2007 - present)
• Program Co-Chair, CASCON'08, Toronto, October 2008
• Co-Chair, CONCUR'08: 19th International Conference on Concurrency Theory, Toronto, August 2008
• Program Co-Chair, Fundamental Approaches to Software Engineering (FASE'09), part of ETAPS'09 (York UK, March 22-29 2009)
• Program committee member, ICSE'08 Research Demonstrations. (ICSE'08 is in Leipzig, Germany, May 10-18)
• Program committee member, 46th International Conferenve on Obkects, Models, Components, Patterns (TOOLS-EUROPE'08)
• Program committee member, ICSE'08 Workshop on Modeling in Software Engineering (MiSE'08), May 2008
• Tutorials Co-Chair, FSE'08 (Atlanta, November 9-15, 2008)
• Member of expert review board, ASE'08 (L'Aquila, Italy, September 15-19 2008)
• Program committee member, ICSE'09

Last Year's Activities

• Co-Chair, Tutorials, ASE'07 (Atlanta, Georgia, November 5-9, 2007)
• Program committee member, ASE'07 (Atlanta, Georgia, November 5-9, 2007)
• Workshop Co-Chair. ASE'07 Workshop on Reasoning with Incompleteness. (Atlanta, Georgia, November 5, 2007)
• Program committee member, ASE'07 Workshop on Automated Formal Methods (Atlanta, November 6).
• Co-Chair, Workshops and Co-Located events, ICSE'07 (Minneapolis, May 20-26, 2007)
• Program committee member, VMCAI'07 (Nice, France, January 14-16, 2007)
• Program committee member, TACAS'07 (Braga, Portugal, March 25 - April 2, 2007)
• Program commitee member, CASCON'07 (Toronto, October 22-25, 2007)

Last updated:  December 9, 2007