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.
- 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 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 OpenBSD |
 | This user hacks happily with Emacs. |
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.
- 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 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 OpenBSD |
|
| This user hacks happily with Emacs. |