Richard Bubel
![[picture of mine]](./pictures/me.jpg)
Hello,
my name is Richard Bubel. I work for the HATS project at
Prof. Reiner Hähnle's group.
This website is under construction (more information will follow).
Teaching
Richard Bubel
Department of Computer Science and Engineering
Chalmers University of Technology and Göteborg University
412-96 Göteborg, Sweden
Room: 5479, Computer Science and Engineering Building
Mail: bubel@chalmers.se
Tel: +46 (0)31 772 1078