Academic/Professional Activities



International Conferences/workshops:

  • PC member of International Symposium on Formal Methods FM '11

  • PC member of International Conference on Advanced Information Systems Engineering CAiSE '11

  • PC member of International Conference on Software Engineering Education and Training CSEET '11, CSEET '08

  • PC member of International Conference on Quality Software QSIC '11 , QSIC '10 , QSIC '09 , QSIC '08, QSIC '07, QSIC '06

  • PC member of the IEEE Conference on Secure Software Integration and Reliability Improvement SSIRI '11 , SSIRI '10 , SSIRI '08

  • PC member of International Conference on Engineering Complex Computer Systems ICECCS '11 , ICECCS '07

  • PC member of International Conference on Formal Engineering Methods ICFEM '11 , ICFEM '10, ICFEM '03, ICFEM '00

  • PC member of IEEE International Conference on Privacy, Security, Risk and Trust PASSAT '10

  • PC member of IEEE International High Assurance Systems Engineering Symposium HASE '10

  • PC member of Integrated Formal Methods Conference IFM '10, IFM '09, IFM '07, IFM '05 , IFM'04, IFM '02 ,IFM '00

  • PC member of International Symposium on Theoretical Aspects of Software Engineering TASE '09

  • PC member of Software Engineering Track of 23rd Annual ACM Symposium on Applied Computing SAC '09, SAC '08

  • PC member of International Conference on Mobile Computing, Communications, and Applications ICMOCCA '07, ICMOCCA '06

  • PC member of Asian Pasific Software Engineering Conference APSEC '02, APSEC'01, APSEC'00


  • Program Co-Chair of International Workshop on Formal Methods Education and Training FMET '08

  • Local Arrangements Chair of International Conference on Automated Software Engineering ASE '06

  • Publicity Chair of International Conference on Formal Engineering Methods ICFEM '05

  • Co-Chair of International Conference on Integrated Formal Methods IFM'99

  • Former member of AgentLink III (European Co-ordination action for agent-based computing)


  • National Conferences/workshops:

  • PC member of IPSJ/SIGSE Software Engineering Symposium SES '07

  • PC member of Software Symposium SS '04



  • External Reviewer of International Journals/conferences:

  • Requirements Engineering Journal 2008

  • Science of Computer Programming Journal 2008

  • IEEE Transactions on Software Engineering, special issue on Software Engineering for Secure Systems 2007