If you’re a user of the system, add your name here.
- Rebecca? — Wandering and wondering.
- Greg — Greg Restall, your host.
- Charles Stewart — A logician/computer scientist interested in the ways that logic can illuminate the fundamental nature of computation. Coorganiser of SD05. Interested in harmony, and the Proof theory of modal logic. (homepage)
- Umm Yasmin — Reader of Greg’s site. Post-graduate at the University of Melbourne in the Arts Faculty, MIALS department. (my website)
- Olaf — Olaf is a student taking 161-438 in 2005.
- Tama — Tama is a Masters student here at the University of Melbourne. He’s auditing 161-438 in 2005.
- Richard Walker — Friend of Greg’s from his days at the ANU, and fellow typophile.
- Benet – software engineer/tester, former Ph.D. student in computer science at the University of Toronto, Canada
- David Scarratt – a mysterious stranger who likes p, q and r.
- Gillian Russell — an assistant professor, philosopher of language, and the keeper of logicandlanguage.net. She likes mysterious strangers.
- Aaron Stump — an assistant professor of computer science, working on computational logic and programming languages theory.
- Jon Cohen — permanently perplexed PhD pupil.
- Prashanth Mundkur — software engineer.
- Tennessee Leeuwenburg – software engineer, philosopher, artist, sometimes an idiot, sometime a clever cloggs (less often)
- Marc Hamann – software developer, programming language theory enthusiast, foundations of math enthusiast, including proof theory.
- Alexandre Costa-Leite – PhD Student in Logic and Philosophy at the University of Neuchâtel, Switzerland.
- Patrick Allo – PostDoc in philosophy at Brussels Free University.
- Andrei Formiga – a graduate student specializing in programming language theory
- Till Mossakowski – an assistant professor interested in formal methods for software development, institutions and heterogeneous specification
- Jason Grossman – a lecturer (assistant professor) in philosophy of science at the Australian National University
- [Jay Martin]? – logically inclined metaphysician.
- Simon D'Alfonso – Philosophy honours student at Melbourne Uni
- Alexey Makarov Searcher for the one true relevant logic :)
- BT — a chance visitor who likes the scenery.