Markus Roggenbach

Research

• General field of interest: Mathematical theories of specification
  
  • Algebraic Specification
  • Process Algebra
  • Tool support for specification languages
• Selected publications
• 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 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-M43 Algebraic Specification of Software and Hardware
• CS-132 Algorithms and Computation
• CS-311 Concepts of Programming Langauges

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