I am postdoc at the Theoretical Computer Science Section of the Computer Science Department at the Vrije Universiteit Amsterdam. In mid-August 2004 I have started to work at an NWO-funded project with the title Geometry of Processes: the project's principal investigator is prof. dr. Jan Willem Klop, and prof. dr. Wan Fokkink is part of the research team; the project was co-iniated, together with J.W. Klop, by a former member of our group, dr. S.P. Luttik, who now works at Eindhoven Technical University.
For the previous four years, April 2000 - March 2004, I was AIO (Assistent in Opleiding) at the same group, and have been supervised by prof. dr. Jan Willem Klop (my promotor) and dr. Roel de Vrijer (my co-promotor) in my PhD-project whose topic it was to find proof-theoretic connections between different kinds of proof systems for recursive types.
[Top] | [Table of Contents] | [Publications/Work] | [Colleagues] | [Teaching] | [Interests] | [My Adresses] | [Bookmarks] | [Photo-Links] | [Personal Notes, Pin Board] | [Bottom].
[Top] | [Table of Contents] | [Publications/Work] | [Colleagues] | [Teaching] | [Interests] | [My Adresses] | [Bookmarks] | [Photo-Links] | [Personal Notes, Pin Board] | [Bottom].
[Top] | [Table of Contents] | [Publications/Work] | [Colleagues] | [Teaching] | [Interests] | [My Adresses] | [Bookmarks] | [Photo-Links] | [Personal Notes, Pin Board] | [Bottom].
[Top] | [Table of Contents] | [Publications/Work] | [Colleagues] | [Teaching] | [Interests] | [My Adresses] | [Bookmarks] | [Photo-Links] | [Personal Notes, Pin Board] | [Bottom].
[Top] | [Table of Contents] | [Publications/Work] | [Colleagues] | [Teaching] | [Interests] | [My Adresses] | [Bookmarks] | [Photo-Links] | [Personal Notes, Pin Board] | [Bottom].
The lecture (het hoorcollege Voortgezette Logica) takes place in the weeks 6-12 on mondays, 13.30 - 15.15 in seminar room S2.09. For more information see the web-page http://www.cs.vu.nl/~tcs/vl/ of the lecture.
[Top] | [Table of Contents] | [Publications/Work] | [Colleagues] | [Teaching] | [Interests] | [My Adresses] | [Bookmarks] | [Photo-Links] | [Personal Notes, Pin Board] | [Bottom].
[Top] | [Table of Contents] | [Publications/Work] | [Colleagues] | [Teaching] | [Interests] | [My Adresses] | [Bookmarks] | [Photo-Links] | [Personal Notes, Pin Board] | [Bottom].
Clemens GRABMAYER
Theoretical Computer Science group
room U3.39 (3rd floor)
Department for Mathematics and Computer Science
Vrije Universiteit Amsterdam
Tel.: +31 20 598 7757
De Boelelaan 1081a
FAX: +31 20 598 7653
1081 HV Amsterdam
e-mail:
clemens one at
cs one dot
vu one dot
nl
The Netherlands
www:
http://www.cs.vu.nl/~clemens/ (this page)
Clemens Grabmayer
Prinses Beatrixlaan 57
1111 EZ Diemen
The Netherlands
e-mail:
clemensg one at
tiscali one dot
nl
Tel:
+31 20 48 66 068
[Top] | [Table of Contents] | [Publications/Work] | [Colleagues] | [Teaching] | [Interests] | [My Adresses] | [Bookmarks] | [Photo-Links] | [Personal Notes, Pin Board] | [Bottom].
[Top] | [Table of Contents] | [Publications/Work] | [Colleagues] | [Teaching] | [Interests] | [My Adresses] | [Bookmarks] | [Photo-Links] | [Personal Notes, Pin Board] | [Bottom].
[Top] | [Table of Contents] | [Publications/Work] | [Colleagues] | [Teaching] | [Interests] | [My Adresses] | [Bookmarks] | [Photo-Links] | [Personal Notes, Pin Board] | [Bottom].
"I am from Austria", this is a song-titel by Austrian singer and songwriter Rainhard Fendrich (BTW a title he said shortly ago that he would not present at any of his concerts at the moment), and as a statement it is literally true for me. I am from Austria, however difficult and embarrassing it is currently to "sell" such a simple fact "to the world" to be "H.'s countryman"---and, yes, there was this other Austrian too, by a name also starting with a(n) H., who had been raised very close to where I grew up in Linz, Austria's third largest city, and who had even gone to the same school as I did, luckily (just only for me and my generation: luckily) some 80 years later. ("Terrible" is no word at all for the deeds of this other H., however much my own grandmother, whom I liked very much, would still tend to disagree in many respects (if she still lived), blaming much of the terrible things that happened and were organized --at least partly also-- on "the other side". I often fought hard discussion-"battles" with her about these things, was (due to being part of a much younger generation and educated differently) completely opposed to many of her views of this time, but also learned many details from her, who had lived through this time in Linz, details, that I would not have learned without my often difficult discussions with her.)
I am from Austria and apart from the very worrying and often embarrassing
political situation (and the current political isolation) of the country,
there is naturally still very much that I like about the country (nobody
perhaps will be too much astonished about this). Austria's cultural and
scientific and in parts also political history and presence is rich of
many great people, of names that I mention here only with the utmost appreciation:
Even if it were nowadays in many ways "incorrect" (:with respect to his
treatment and judgement of women) to state this, I still admire (:perhaps
this is an a bit too strong qualification) Sigmund Freud
, his scientific
achievements, his hard and endurent and tenacious thinking (but I'm certainly
no abiding follower of an orthodox-psychoanalytical school) in his writings.
-- It is maybe a commonplace for someone with an education in mathematical
logic to express admiration for the works and the thinking of Austrian-born
logician Kurt Goedel, his achievements being absolutely central to 20th
century mathematical logic; but even if this were only a commonplace to
declare, Goedel's works and his style of endurant thinking have been
and still continue to be highly exciting for me.
Other famous Austrians, whose works mean a lot to me include writer
Ingeborg Bachmann, biochemist and writer Erwin Chargaff (sadly, Chargaff died on June 20th, 2002), physicist Erwin
Schroedinger, psychotherapist and suicide-prevention-expert Erwin Ringel,
and the founder of the field of "social-psychology", Marie Jahoda. Then
I have to mention Franz Kafka
here, although being born and living in Prague
he was just "Austrian" in the wider sense of this nationality before the
first world-war (surely, if indeed Kafka ever felt an identity, then
certainly his jewish one first and then his rootedness in and connectedness
to Prague, and not a definite Austrian identity).
(Addition 08/11/2000: I was recently reminded by a young French admirer (Yohann Le Yaouanc) of Ludwig Wittgenstein, that I had forgotten to mention this other great and influential Austrian thinker in the first version of this text here, although I too have sometimes tried very hard to understand Wittgenstein and have been attracted to his style of thinking for a long time (like so many other people). Not mentioning Wittgenstein has not really been an outright forgetfulness on my part, but more of a negligence in not mentioning this among many of my other present and past interests. I have certainly never forgotten, that (1) I have attended the same school in my hometown Linz as Wittgenstein did for some 2 or 3 years in his life during the 1890's (where there was allegedly one year, when he attended this "Realschule" at the same time as the beforementioned (not just only:) shameful H. did so, too, although they have not been in the same class then), that (2) I did the (oral) end-exam (as part of the "Maturapruefung") in the subject "philosophy and psychology" at this school mainly on topics concerning Wittgenstein's "Tractatus Logico-Philosophicus", and (3) that I have tried to read W. also continuously later. -- I am most certainly no devoted follower of Wittgenstein and tend on the contrary to share much of the more substantial criticism e.g. as expressed by logicians and mathematicians interested in foundations on his views about the foundations of mathematics (particularly those given in W.'s text "Grundlagen der Mathematik"). But on the other hand I can sometimes feel an inner movement in me against some current tendencies of -what I feel is also- ridiculing W. by ridiculing "Wittgensteinization", i.e. of what could perhaps be called the "naiive", hard and continued analytical questioning of seemingly simply given or existing situations and facts [without accepting from the start the (e.g. economical or even "knowledge-economical") need to arrive at definite conclusions all too quickly [I'm aware that some critics would possibly argue that very often past or current "Wittgensteinization" never arrives anywhere or at anything definite at all]]. -- This here was not meant as to hint at specific arguments, but just to express some of my feelings about Ludwig Wittgenstein, for whose life and works I continue to have a very high respect.)
As examples of "foreign" big names [BTW I'm now since 2 years a foreigner myself in the Netherlands] with a great influence on me I have to mention: Poet Mascha Kaleko (cf. e.g. her nice little ``Interview mit mir selbst'', that I discovered recently; further poems of Mascha Kaleko (in her mother-tongue German) are available on this page (Uni Giessen)), thinker Simone Weil, writers Ludvik Vaculik, Ivan Klima and Uwe Johnson, thinker, scientist and poet Sor Juana Ines de la Cruce, philosopher and sociologist Michel Foucault, philosopher Baruch de Spinoza, Johann Wolfgang von Goethe, and not least of all diary writer Etty Hillesum and russian writer Alexander Iwanowitsch Kuprin. And Austrian born biochemist and writer (as well as playwright) Carl Djerassi (the "mother" of the contraceptive-pill).
Mathematicians: Carl Friedrich Gauss (his letters, his works in astronomy
and as a surveyor of parts of northern Germany, i.p. of Lower Saxony, and
naturally his supreme mathematical achievements), Johannes Kepler (his
works in geometry and in developing calculus), Leopold Vietoris (one
of the developers of the notion of compactness in topology in the early
20th century from Innsbruck, Austria, the T3.5-separation axiom in topology
is also due to him, I also like his personal practical work at surveying
glaciers in the vicinity of Innsbruck. Sadly,
Vietoris
has died in Innsbruck on 9th of April, 2002 at the age of 110,
having been the oldest living Austrian for some time),
Georg Cantor, Austrian probabilist
Richard von Mises, Stefan Banach, L.E.J. Brouwer, A. Heyting, (Brouwer's
teacher in Amsterdam:) D.J. Korteweg, and many, many more names (also some
of my teachers from Linz and Vienna).
Pop and Rock artists: Sonic Youth, Velvet Underground, the Cramps, the
Jesus&Mary Chain, Portishead, Tricky, Stereo MC's, Tori Amos, (the
early) Suzanne Vega, Andy Warhol, Diedrich Diederichsen, Jutta Koether,
Rainald Goetz, Madonna, and many more recent names from the time,
when couldn't afford to buy records (let alone CD's), e.g. Lil' Kim and
Missy Elliott, as well as Austrian stars Kruder&Dorfmeister. Much appreciation
for HipHop. I also like the more easily reachable R&B stuff,
e.g. Gabrielle and Aaliyah
(click picture for a bigger version of another picture of her),
but also including Mariah Carey, Whitney Houston, Toni Braxton, and Jennifer Lopez.
There is also nothing to be ashamed of in my appreciation of
Melanie C(hisholm)
(click picture to enlarge). A newer picture:
.
And yes, I really like the recent CD of Bjørk
, Vespertine.
And I like the music of Mary J. Blige
very much.
A few pictures of flamenco star Sara Baras
(like
and together with her ballet group
)
I have started to gather on this little page;
I thought I owed this to my very strong and vivid impressions that I got
from a ballet evening on 8th of October, 2002, when
I could attend an interpretation of "Mariana Pineda"
(following Federico García Lorca)
by Sara Baras and her compagñia "ballet flamenco"
at Teatre Victòria, Barcelona.
A recent impression [14th Dec 2002]: The film
Rien à faire (1999)
by Marion Vernioux with Patrick Dell'Isola and
Valéria Bruni Tedeschi.
And, yes, I simply like (not only now, that I live in Amsterdam) the nature in the vicinity of Linz, in which I used to train for my long-distance running ambitions (mostly during 1989-92) and lately particularly in Linz-Dornach in the north end of the city, where I could be in the woods and on the hills within a five minutes walking distance from my flat.
I was born and lived for a long time in my life in Linz, Austria's third largest city, which --this is merely a fact-- owes its growth and rise almost entirely to the huge industrial complexes of a steel-producing plant and a big chemical factory, that were both buildt during the 7 years of reign of the "Nationalsozialismus" in Austria (1938-45), when Austria was part of the "German empire". (I don't mention this to let in any way those big efforts seem smaller, that were put into my home-town in the time since the war to build the modern Linz (as one part of the modern Austria). But I mention this to stress an interconnection of the presence with the past, one of those connections, not many Austrians are still much aware of and that are still haunting the country now in one way and the other [e.g. in the case of lawsuits that are now being filed against Austria and Austrian companies on the behalf of survivors and relatives of forced-labour workers, that had to work during the war also on exactly those industrial plants in my home-town, to which Linz owes much of its post-war prosperity].)
Also in Linz I studied "Technical Mathematics" at the Johannes-Kepler-University (which was founded in 1967 in recognition of the rising industrial and economic importance of the city). I had been interested in physics and mathematics throughout my time in high-school, and in programming during my last 4 years there (I was an enthusiastic FORTRAN-programmer then). I also started to study Technical Physics in Linz, but then concentrated completely on mathematics after my first year.
I have finished my study in 1997. I did my diploma-thesis in Linz "Die Entscheidungskomplexitaet logischer Theoreme -- eine Studie anhand der Presburger Arithmetik" ("Decision Complexity of Logical Theories -- a study at the example of Presburger Arithmetic") under the supervision of Prof. Alexander Leitsch from the Vienna Institute of Technology. This my "Diplomarbeit" (in German) [zipped postscript, 1016K] is also available here via this link.
A scholarship from the Austrian Ministery of Science and Traffic made it possible for me to spend the academic year 1998-99 in the Netherlands at the Institute for Logic, Language and Computation (ILLC) of the Universiteit van Amsterdam. My main motivation to go to the Netherlands (confer also this old page) had been to learn more about aspects and topics from Intuitionism, the famous Dutch contribution to the field of Foundations of Mathematics originating with the work of L.E.J. Brouwer and A. Heyting in the first half of the 20th century. I participated in a "MSc. in Logic" program of the ILLC during this year at the end of which I wrote a master's thesis in Proof-Theory under the supervision of Prof. Anne Sjerp Troelstra. This my master's thesis [zipped postscript-file, 240K] concerns "Cut-Elimination in the Implicative Fragment of a G3mi-Gentzen-system and its Computational Content"; there is also a somewhat detailed abstract in zipped postscript form [38K] and (basically the same) abstract in ascii-text format available for this thesis.
[Top] | [Table of Contents] | [Publications/Work] | [Colleagues] | [Teaching] | [Interests] | [My Adresses] | [Bookmarks] | [Photo-Links] | [Personal Notes, Pin Board] | [Bottom].