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

This user comes from Germany.

prog-xThis user is merely a humble programmer.

This user uses XMPP/Jabber as schoelle@swissjabber.ch.

This user contributes while listening to Amarok.

This user's primary instant messaging software is Psi.

This user contributes using Opera.

This user contributes using Debian GNU/Linux.

This user contributes using OpenBSD

This user hacks happily with Emacs.