I am an associate professor at the
Institute of Discrete Mathematics and Geometry,
University of Technology in
Wien (Vienna), Austria.
How to contact me
I work mainly in mathematical logic and universal algebra;
I am particularly interested in applications of logic
(such as: set theory) to algebra, and in set theory of the real line.
I am also interested in uniform distribution
and theoretical computer science.
A complete annotated bibliography of my mathematical papers
will appear here
A few papers are available already now,
der Unendlichkeiten (Set Theory: Hierarchy of infinities; in German),
an introductory paper discussing the role of set theory in mathematics.
Also an outdated bibtex file is available.
I have also coauthored a book,
Incompleteness Phenomenon (an introduction
to mathematical logic). The book is published by
It is now available in paperback.
Teaching etc --
Lehr- und andere Veranstaltungen
You can find the details on a
See also: Skripten.
I organise the seminar of the algebra group
- Together with Reinhard Winkler I organized the lecture series Wissenswertes aus der Mathematik (1998-2009)
- Various lectures/seminars on mathematical logic, in particular set theory, model theory
- The introductory algebra lecture (2008, 2009, 2013)
- Exercises for beginners' courses in Linear Algebra (2010, 2011, 2012, 2013)
- Basic math courses for computer scientists
I am also one of the faculty members of the Doctoral Programme
"Mathematical Logic in Computer Science"
Information about (recent or future) talks, among them a manuscript
for my talk on
Logik und Naive Mathematik
can be found on a separate page.
I am the head of the Research Group Algebr at the
Institute of Discrete Mathematics and Geometry at TU Wien.
I am head of the curriculum committee (Studienkommission) for
"Technische Mathematik"; in October 2006 we introduced a new curriculum, consisting of
four bachelor programs and six master programs. Later we changed our
curricula to contain only 3 bachelor programs (2011) and 3 master programs (2012).
I was one of the organizers of the conference
AAA 58, the
58th Workshop on general algebra (TU Wien, June 1999), and again
AAA 70 (TU Wien, May 2005).
I was on the local organizing committee for the
Logic Colloquium 2001
(Uni Wien and TU Wien, August 2001),
the annual European meeting of the
I was also involved in the preparation of Horizons of Truth, a 2006 meeting to commemorate the 100th birthday of
I was on the program committee for the Logic Colloquium 2009 (Sofia, Bulgaria; July 31-August 5, 2009).
Some of my free time I spend writing
programs to help
I cheated my way into the
Hall of Fame
Oracle of Bacon at Virginia.
Occasionally I contribute to Wikipedia.
(You can find me easily if you know me well.)
Utterly unimportant dates in history
On Oct 8, 2003 (local time),
I received 100 junk mail messages.
Geschichten aus Österreich
In Österreich wird demnächst die neue Zentralmatura eingeführt.
Wie ich höre, sind Diskussionsbeiträge von Lehrern dabei
unerwünscht, zumindest was die Lateinmatura betrifft...
I studied Mathematics and Computer Science at the
Vienna University of Technology, where I received my doctoral
degree in 1986, habilitation in 1993.
I also spent some time at the math departments of
My first stay in Berlin (1992/93) was supported by the German Science
Foundation (DFG). My stays at CMU, Rutgers
and Berlin in 1995-1997 were supported by a Schrödinger
fellowship from the Austrian Science Foundation
I joined the faculty of TU Wien in November 1993.
Prizes, fellowships, awards, etc
Oodles, including TIME Magazine's Person of the Year in 2006.
And the Nobel peace prize in 2012, of course.
My Ph.D. advisor in Vienna was
Robert F. Tichy.
According to the
Math Genealogy Database,
this makes me a descendant of (among many others)
My Ph.D. advisors in Berkeley were
Haim Judah. My ancestors
on the Silver side include
those on the Judah side include
Abraham (Adolf) Fraenkel,
(fancy that!), and again Dirichlet and his forefathers.
Here is my full academic family tree.
Last modified on 2013-03-01
[If you can read this line, you
are probably not using a M$ product. Good.]