User:Schoelle

Real Name: Bernd Schoeller

I am a PhD student at the ETH Zurich, Switzerland writing my thesis about the formal verification of object-oriented programs, mainly using the programming language Eiffel of my supervisor Bertrand Meyer.

Homepages

 * http://www.fams.de/about.html - Personal homepage
 * http://se.inf.ethz.ch/people/schoeller/ - Homepage at ETH Zurich