Professional Activities

Conference Organizer

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

Member of Conference Program Committees

  1. 19th International Workshop on Model Checking of Software (SPIN), 2012
  2. 6th International Conference on Tests and Proofs (TAP), 2012
  3. 32nd IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), 2012
  4. 28th IEEE International Conference on Software Maintenance (ICSM), 2012
  5. 6th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE), 2012
  6. 18th Working Conference on Reverse Engineering (WCRE), 2011
  7. 6th International Workshop on Systems Software Verification (SSV), 2011
  8. 31st IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), 2011
  9. 27th IEEE International Conference on Software Maintenance (ICSM), 2011
  10. 19th IEEE International Conference on Program Comprehension (ICPC), 2011
  11. 5th International Conference on Tests and Proofs (TAP), 2011
  12. 17th Working Conference on Reverse Engineering (WCRE), 2010
  13. 26th IEEE International Conference on Software Maintenance (ICSM), 2010,
    Industrial Track
  14. 4th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE), 2010
  15. 4th International Conference on Tests and Proofs (TAP), 2010
  16. 18th IEEE International Conference on Program Comprehension (ICPC), 2010
  17. 19th Annual Int. Conference on Computer Science and Software Engineering (CASCON), 2009
  18. 16th Working Conference on Reverse Engineering (WCRE), 2009
  19. 17th IEEE International Conference on Program Comprehension (ICPC), 2009
  20. 18th Annual Int. Conference on Computer Science and Software Engineering (CASCON), 2008
  21. 15th Working Conference on Reverse Engineering (WCRE), 2008
  22. 24th IEEE International Conference on Software Maintenance (ICSM), 2008
  23. 19th International Conference on Concurrency Theory (CONCUR), 2008
  24. 16th IEEE International Conference on Program Comprehension (ICPC), 2008
  25. 23rd IEEE International Conference on Software Maintenance (ICSM), 2007
  26. 15th IEEE International Conference on Program Comprehension (ICPC), 2007
  27. 11th European Conference on Software Maintenance and Reengineering (CSMR), 2007,
    Doctoral Symposium
  28. 22nd IEEE International Conference on Software Maintenance (ICSM), 2006

Journal Referee

Conference Referee

Other Referee

Consultant in Industry

Member of Professional Organizations

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
© Dirk Beyer
This document was translated from LATEX by HEVEA.


Home page