Markus Roggenbach

Research

• General field of interest: Mathematical theories of specification
  
  • Algebraic Specification
  • Process Algebra
  • Tool support for specification languages
• Selected publications
• Research Project Processes and Data
• Tool development:
  • CASL Consistency Checker (CCC) (in cooperation with C.Lüth and L.Schröder )
  • CSP-Prover (in cooperation with Y.Isobe )

Professional Activities

• Local Coordinator for the Erasmus Exchange Programme with Computer Science Humbold-University Berlin
• Local organizer of CALCO 2005, member of the CALCO steering commitee
• Programm commitee member of the ACM-SAC 2005 Track on Software Engineering: Methods, Practices and Tools
• Organizer of BCTCS 2006.
• Organizer of the Swansea Colloquia and Seminars in Computer Science
• Organizer of the Swansea Algebraic Specification Seminar
• My Erdös number is 4: Markus Roggenbach, Till Mossakowski, George E. Strecker, Marcel Erne, Paul Erdös

Teaching

• CS-339 Advanced Topics in Computer Science: Testing (2006)
• CS-343, CS-M43 Algebraic Specification of Software and Hardware
• CS-132 Algorithms and Computation

  Some Pictures

  • Gregynog 2004.
  • Swansea Algebraic Specification Seminar: Retreat 5.11.2004.
  • Colloquia and Seminars: The 2003/04 Series.
  • Departmental Life 2003/04

  ---

  E-mail:  M.Roggenbach@swan.ac.uk
  
  Address: Markus Roggenbach
           Department of Computer Science
           University of Wales Swansea 
           Singleton Park
           Swansea SA2 8PP 
           United Kingdom
  
  Phone:   +44 (0)1792 51-3578
  Fax:     +44 (0)1792 295708
  

  Markus Roggenbach last update November 29, 2004.