-
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