From Wikipedia, the free encyclopedia
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.
[edit] Homepages
prog-x |
This user is merely a humble programmer. |
|
This user uses Jabber as schoelle@swissjabber.ch. |
|
This user contributes while using Amarok.
|
|
This user's primary Instant Messaging software is Psi. |
|
This user contributes using OpenBSD |
|
This user hacks happily with Emacs. |