NASA Logo, National Aeronautics and Space Administration

Committees:

Upcoming:

  • Program co-chair, Conference on Fundamental Approaches to Software Engineering (FASE 2011), European Joint Conferences on Theory and Practice of Software (ETAPS).
  • 2nd NASA Formal Methods Symposium (NFM 2010).
  • 32nd International Conference on Software Engineering (ICSE 2010). PC member for main technical/research track and research demo track.
  • Conference on Fundamental Approaches to Software Engineering (FASE 2010), European Joint Conferences on Theory and Practice of Software (ETAPS).

Past:

  • Track on New Ideas and Emerging Results, 31st International Conference on Software Engineering (ICSE 2009).
  • 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2009).
  • Conference on Fundamental Approaches to Software Engineering (FASE 2009), European Joint Conferences on Theory and Practice of Software (ETAPS).
  • 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008).
  • 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering (ACM SIGSOFT 2008 / FSE 16).
  • International Symposium on Component-Based Software Engineering (CBSE 11)
  • 5th Workshop on Formal Aspects of Component Systems (FACS08).
  • 15th International Symposium on Formal Methods (FM’08).
  • Conference on Fundamental Approaches to Software Engineering (FASE 2008), European Joint Conferences on Theory and Practice of Software (ETAPS).
  • PC member, sixth joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering ESEC/FSE 2007.
  • PC member, International Conference on Automated Software Engineering ASE 2007.
  • PC member, International Conference on Software Engineering ICSE 2007.
  • PC member, International Symposium on Component-Based Software Engineering, CBSE 2007.
  • Posters Chair, ACM SIGSOFT Symposium on Foundations of Software Engineering FSE 2006 .
  • Workshops co-chair, International Conference on Automated Software Engineering (ASE) 2005.
  • PC member, International Conference on Concurrency Theory (CONCUR) 2005.
  • PC member, International Conference on Software Engineering (ICSE) 2005.
  • PC member, International Conference on Automated Software Engineering (ASE) 2003, 2005, 2006.
  • PC Member, Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS) 2005.
  • PC Member, International Conference on Formal Engineering Methods (ICFEM) 2005.
  • PC Member, EUROMICRO Conf. on Software Engineering and Advanced Applications (Euromicro) 2005.
  • PC member, International Symposium on Component-Based Software Engineering (CBSE) 2002, 2003, 2004, 2005, 2006.
  • PC member, International workshop on services engineering (SEIW) 2005.
  • PC member, Workshop on Intelligent Technologies for Software Engineering (WITSE) 2003 and 2004.
  • PC member, Workshop on Model Checking and Artificial Intelligence (MoChArt) 2003.
  • PC member, Workshop on Service-Based Software Engineering (SBSE) 2003).
First Gov logo
NASA Logo - nasa.gov