Markus Roggenbach


Research focus: Processes and Data

Topics

I will teach on these topics at the SEFM Summerschool 2012.

Selected Publications

Projects

Teaching

Swansea University Distinguished Teaching Award in 2011.

Professional Activities

Member of the IFIP WG 1.3

Steering Committees

AVoCS (chair), CALCO

Program Committees

AVOCS (Automatic Verification of Critical Systems) 2005, 2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013; ComGame (Workshop on Computer Games and their Applications) 2012; ICFEM (International Conference on Formal Engineering Methods) 2009; ICTAC (International Colloquium on Theoretical Aspects of Computing) 2010; IWIGP (International workshop on interactions, games and protocols) 2011, 2012; FACS (International Symposium of Formal Aspects of Component Software) 2013; MODEVVA (Workshop on Model Engineering, Verification, and Validation) 2009; MoVaH (Workshop on Modeling, Validation and Heterogeneity) 2008; SAC-SE (Software Engineering Track of the ACM Symposium on Applied Computing) 2005, 2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013; SEFM (IEEE Software Engineering and Formal Methods) 2009, 2010; SSIRI (IEEE International Conference on Secure System Integration and Reliability Improvement) 2008, 2009, 2010, 2011; WADT (Workshop on Algebraic Development Techniques), 2008, 2010, 2012.

Invited Talks

Bamberg, Germany, April 2012; Surrey, UK, May 2011; Beijing, China, August 2010; Berlin, Germany, June 2010; Newcastle, UK, June 2010; York, UK, May, 2010; Lisbon, Portugal, November 2009; Bergen, Norway, November 2009; Macao, Macao, October 2009; Aberystwyth, UK, August 2009; Paris, France, May 2009; Tsukuba, Japan, April 2009; Bremen, Germany, January 2009; Cape Topwn, South Africa, November 2008; York, UK, October 2008; Rolls Royce, Derby, UK, April 2008; IFIP WG 1.3, Sierra Nevada meeting, Spain, January 2008; Bergen, Norway, October 2007; Bergen, Norway, October 2007; Pretoria, South Africa, July 2007; IFIP WG 1.3, Braga meeting, Portugal, March 2007; Humboldt University Berlin, Germany, June 2007; IFIP WG 1.3, La Roche meeting, Belgium, June 2006; Bremen, Germany, October 2005; Leicester, UK, May 2005; Oxford, UK, March 2005; AIST, Tsukuba, Japan, September 2004.

Conference Organisation


E-mail:  M.Roggenbach@swan.ac.uk

Address: Markus Roggenbach
         Department of Computer Science
         College of Science
         Swansea University
         Singleton Park
         Swansea SA2 8PP 
         United Kingdom

Phone:   +44 (0)1792 51-3578
Fax:     +44 (0)1792 295708
Last modified: Sat Aug 10 12:01:09 BST 2013