Some Current Professional Activities

  • Member of ACM, IEEE Computer Society
  • Associate Editor, Springer Journal on Software and Systems Modeling
  • Guest editor, Journal of Automated Reasoning. Special Issue on Selected Papers from VSTTE'16.
  • Guest editor, J. Logical Methods in Computer Science. Special Issue on Selected Papers from TACAS'16
  • Guest Editor, J. of Automated Software Engineering. Special Issue on Selected Papers from ASE'14.
  • Steering committee member, ETAPS (2015 - present)
  • Steering committee member, ICSE (2016 - present)
  • Program Co-Chair, ICSE'18
  • Program board member, ICSE'17
  • Program board member, MODELS'16
  • Program committee member, ESEC/FSE'17
  • External Review Board member, ASE'16
  • Program committee member, ECMFA'16
  • Program committee member, CASCON'16
  • Program committee member, FSE'16 Visions and Reflections Track
  • Program committee member, RE'16 Onward Track
  • Program committee member, ASE'16 Demos Track
  • Program committee member, SLE'16
  • Lots of interesting workshops and smaller events: FMSPLE'16, GEMOC'16, MELO'16, MiSE'16, VOLT'16.

Last updated: August 18, 2016