Some Current Professional Activities
Here is a sample of current 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