Technische Universität München, Fakultät für Informatik
Lehrstuhl Informatik IV, Research Group Automated Reasoning

Stephan Schulz

About Me

About my Work

The idea that an arbitrary naive human should be able to properly use a given tool without training or understanding is even more wrong for computing than it is for other tools (eg automobiles, airplanes, guns or power saws).

-Found in a .sig

My Hobbies (and links related to them)

"If Windows-95 is the answer, how bloody stupid was the question?"

"Windows-95 is not the answer, it is the question. The answer is NO!"

Freedom of Information on the Net

The internet is one of the biggest experiments in the history of mankind. It allows people from all over the world to associate and communicate freely and without any central control. As a result, the people on the net now form a unique and distinct culture, full of diversity, but based on a common set of values. Prime among this is a strong belief in the freedom of information: Everybody should be able to communicate his thoughts and ideas to the world, freely and without fear of repression.

You may consider to display the blue ribbon as a symbol for freedom of expression on the internet as well as everywhere in the world.

Blue Ribbon
Join the Blue Ribbon Anti-Censorship Campaign!

Russ Alberry has written an excellent statement on the Telecommunications Act of 1996 and on freedom of information on the net, titled Defiantly Free. While not quite current, it sums up the feeling of much of the Net back in 1996. Another interesting (if somewhat pompous) text is John Perry Barlow's Cyberspace Independence Declaration.

"Zen is for opening your eyes. Most other religions and occult movements are for putting on cool-looking blindfolds."

Some Words of Wisdom.

Valid HTML 3.2!

I try to write standard-conforming web pages. This page (and all of my pages that I checked) pass the W3 validator.
Stephan Schulz,schulz@eprover.org2009-01-10