Jump to content

User:Schoelle

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.

Homepages

[edit]
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.
PidginThis 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.