Willkommen auf der Insel

Also wieder eine englischsprachige Insel mit Linksverkehr. Das könnte sowas wie mein Lebensziel werden: besuche alle diese Inseln. [Informatiker-Bonusfrage: Finde den kürzesten Weg, der sie verbindet.] Ein lohnenswertes Ziel, finde ich, da sind nämlich Irland, Neuseeland und die Fidschi-Inseln dabei.

Aber erstmal habe ich ein mittelfristiges Ziel, das sogar schon einen hübschen Titel hat und bei dessen Erreichung ich einen hübschen Titel bekomme. Der erste Titel ist "Integrating Theory Reasoning into Instance-based Theorem Proving", der zweite PhD, falls das einige meiner geneigten Leserinnen und Leser interessiert.

Spannender für meine Leserschaft sind aber sicherlich die grundlegenderen Tatsachen. Ich wohne in einem schnuckeligen Haus mit Garten in Withington mit fünf anderen Studentinnen und Studenten, habe einen Schreibtisch in einem Büro im häßlichsten Gebäude auf dem Campus und dort kümmert man sich tatsächlich rührig um seine Doktoranden.

Natürlich gibt es auch hier einige Absurditäten zu erzählen, weswegen es sich selbstverständlich lohnt, hier öfter mal vorbeizuschauen. Wenn ich mal meine Kamera dabei habe und es nicht regnet, dann gibt es auch ein paar Bilder. Ich will es jetzt nicht beschreien, aber es hat die letzten Tage tatsächlich nicht oder nur sehr selten geregnet und ich habe ein paar Fleckchen blauen Himmels gesehen. Es bleibt also ein bisschen Hoffnung, aber ich kann mir erklären, warum ich bis jetzt nur häßliche und offensichtlich uralte Postkarten gesehen habe: man braucht wohl Jahrzehnte bis man ein paar Fotos von Sehenswürdigkeiten vor blauem Himmel gemacht hat.

Abschließend natürlich die übliche Einladung: wer in der Nähe ist (und dazu zählt in England so gut wie alles, ich bin schließlich nicht mehr in Australien), ist jederzeit willkommen und zumindest eine Luftmatratze findet in meinem Zimmer Platz.