User:Schoelle
Appearance
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
[edit]- 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-x | This user is merely a humble programmer. |
This user uses XMPP/Jabber as [email protected]. |
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 OpenBSD |
This user hacks happily with Emacs. |