MSc PhD Kaiserslautern
- Room No: G.2.23
- Telephone: +64 7 838 4796
- Extension: 4796
- Facsimile: +64 7 858 5095
Further information can be found at my personal web site: http://www.cs.waikato.ac.nz/~robi/.
I joined the Department of Computer Science of the University of Waikato in February 2003, where I am going to stay as a Visiting Lecturer for the year 2003.
I studied Computer Science at the University of Kaiserslautern in Germany, where I obtained my Ph.D. degree in 1998.
Before coming to New Zealand, I spent a couple of years working for Siemens Corporate Research in Munich, Germany, where I was involved in the research and software development for a modelling and verification tool for discrete event systems.
Control software, discrete event systems, model checking.
You can access a selection of my papers here