Professional Activities

Conference Organizer

1. General Chair, 20th IEEE Int. Conference on Program Comprehension (ICPC),
   Passau, Bavaria, Germany, June, ??–??, 2012
2. Local Organization Chair, 31st IEEE International Conference on Software Engineering (ICSE),
   Vancouver, BC, Canada, May 16–24, 2009
3. Local Organization Chair, 17th IEEE Int. Conference on Program Comprehension (ICPC),
   Vancouver, BC, Canada, May, 17–19, 2009
4. Local Organization Chair, 6th IEEE Working Conference on Mining Software Repositories (MSR),
   Vancouver, BC, Canada, May, 16–17, 2009
5. Proceedings Chair, 25th IEEE International Conference on Software Maintenance (ICSM),
   Edmonton, AB, Canada, September 20–26, 2009
6. Local Organization Chair, 14th IEEE Working Conference on Reverse Engineering (WCRE),
   Vancouver, BC, Canada, October 28–31, 2007
7. Founder and Organizer, First Alpine Verification Meeting (AVM’05),
   Lausanne, Switzerland, October 6, 2005

Member of Conference Program Committees

1. 4th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE), 2010
2. 4th International Conference on Tests and Proofs (TAP), 2010
3. 18th IEEE International Conference on Program Comprehension (ICPC), 2010
4. 19th Annual Int. Conference on Computer Science and Software Engineering (CASCON), 2009
5. 16th Working Conference on Reverse Engineering (WCRE), 2009
6. 17th IEEE International Conference on Program Comprehension (ICPC), 2009
7. 18th Annual Int. Conference on Computer Science and Software Engineering (CASCON), 2008
8. 15th Working Conference on Reverse Engineering (WCRE), 2008
9. 24th IEEE International Conference on Software Maintenance (ICSM), 2008
10. 19th International Conference on Concurrency Theory (CONCUR), 2008
11. 16th IEEE International Conference on Program Comprehension (ICPC), 2008
12. 23rd IEEE International Conference on Software Maintenance (ICSM), 2007
13. 15th IEEE International Conference on Program Comprehension (ICPC), 2007
14. 11th European Conference on Software Maintenance and Reengineering (CSMR), 2007,
    Doctoral Symposium
15. 22nd IEEE International Conference on Software Maintenance (ICSM), 2006

Journal Referee

• IEEE Transactions on Software Engineering (TSE), 2010;
• ACM Transactions on Software Engineering and Methodology (TOSEM), 2010;
• Software Quality Journal, Special Issue on ICPC’09, 2010;
• Empirical Software Engineering (EMSE), 2010;
• IEEE Software, Special Issue on Software Evolution, 2009;
• Journal of Systems and Software (JSS), 2009;
• Journal on Formal Aspects of Computing (FACJ), 2009;
• International Journal on Software Tools for Technology Transfer (STTT), 2009;
• IEEE Transactions on Software Engineering (TSE), 2009;
• Journal of Software Maintenance and Evolution: Research and Practice (JSME), 2009;
• IEEE Systems Journal, 2008;
• IEEE Transactions on Software Engineering (TSE), 2008;
• ACM Transactions on Design Automation of Electronic Systems (TODAES), 2008;
• Simulation Modelling Practice and Theory, 2008;
• ACM Transactions on Software Engineering and Methodology (TOSEM), 2007;
• IEEE Transactions on Software Engineering (TSE), 2007;
• International Journal of Computers and Their Applications (IJCA), 2007;
• International Journal on Software Tools for Technology Transfer (STTT), 2006;
• ACM Transactions on Software Engineering and Methodology (TOSEM), 2006;
• ACM Transactions on Design Automation of Electronic Systems (TODAES), 2005

Conference Referee

• Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2009;
• Int. Conference on Verification, Model Checking and Abstract Interpretation (VMCAI), 2009;
• International Conference on Computer-Aided Verification (CAV), 2008;
• Joint Eurographics - IEEE TCVG Symposium on Visualization (EuroVis), 2008;
• ACM Symposium on Principles of Programming Languages (POPL), 2007;
• ACM Int. Symposium on Principles and Practice of Declarative Programming (PPDP), 2007;
• ACM/IEEE International Conference on Software Engineering (ICSE), 2006;
• Int. Conf. on Foundations of Software Science and Computation Structures (FOSSACS), 2006;
• ACM International Symposium on Component-Based Software Engineering (CBSE), 2006;
• International Symposium on Software Composition (SC), 2006;
• International Conference on Computer-Aided Verification (CAV), 2005;
• International Symposium on Formal Methods (FM), 2005;
• ACM International Symposium on Component-Based Software Engineering (CBSE), 2005;
• Monterey Workshop: Software Engineering Tools, 2005

Other Referee

• Austrian Science Fund (FWF), 2009;
• The Villum Kann Rasmussen Foundation, 2008;
• ACM SIGPLAN 2006 Dissertation Award Committee, 2007;
• Natural Sciences and Engineering Research Council of Canada (NSERC), 2007;
• The Netherlands Organization for Scientific Research (NWO), 2004–2005

Consultant in Industry

• Argus Technologies Ltd., Burnaby, 2009
• Alpha Technologies Ltd., Burnaby, 2008

Member of Professional Organizations

• Association for Computing Machinery (ACM)
• IEEE, IEEE Computer Society

Grants / Awards

1. Nokia University Relations Grant, 2008 (in-kind donation of Nokia devices)
   Title: Teaching Software Engineering on Mobile Devices
2. NSERC Discovery Grant, RGPIN 341819-07, 2007-2012 (120 000 CAD)
   Title: Automated Formal Methods for Reliable Software Components
3. President’s Research Grant, SFU/PRG 06-3, 2006 (10 000 CAD)
4. Start-Up Grant, SFU, 2006 (100 000 CAD)
5. DFG (German science foundation) Grant, BE 1761/3-1, 2003 (2 500 EUR)
6. Government Award for early completion of study (2 500 EUR)
7. Government Award for best graduates, all Germany (1 500 EUR)
8. BTU University Award 1998 for best Master’s thesis

This document was translated from L^AT_EX by H^EV^EA.