Some Current Professional Activities

  • Member of ACM, IEEE Computer Society
  • Program committee co-chair of ICSE'18 (International Conference on Software Engineering)
  • 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)
  • Steering committee member, ASE (2017 - present)
  • Program board member, ICSE'17
  • Program board member, MODELS'16, MODELS'17, MODELS'18
  • Program committee member, ASE'17 Doctoral Symposium
  • Program committee member, ICMT'18
  • Program committee member, ECMFA'18
  • Program committee member, SPLC'18
  • Program committee member, RE'18@NEXT
  • Program committee member, ESEC/FSE'17
  • Program Committee member, ASE'18
  • Program committee member, ASE'17 Demos Track

Last updated: November 27, 2017