Professional Services

Program chair of the Specification and Verification of Component-Based Systems Workshop held at FSE/ESEC 2004 Conference Consider Attending, October 31 - November 1, 2004

Tutorial on Model Checking Component-based Software at a LASER 2004 school.

Guest editor of the Formal Methods in System Design journal, Volume 25 (2-3), September - November 2004 issue.

Program committee member of the Specification and Verification of Component-Based Systems Workshop held at FSE/ESEC 2003 Conference

Organizer together with Edmund Clarke of the CMU/SEI symposium on software model checking (program , abstracts )

Referee for numerous scholarly journals, including Distributed Computing, IEEE Transactions on Software Engineering, International Journal of Parallel Processing, Formal Methods in System Design, Formal Aspects of Computing.

Referee for numerous conferences and workshops, including European Joint Conferences on Theory and Practice of Software, ETAPS'04/03/02, Computer Aided Verification, CAV'04/03, Workshop on Specification and Verification of Component-based Software, SAVCBS'04/03, International Conference on Software Engineering, ICSE'04/03.

Grant proposal reviewer for Army Research Office, National Science Foundation, Netherlands Organization for Scientific Research.