Main Menu

• ホム
• ニュス
  • Talk at BCTCS 2010 in Edinburgh
  • Talk at the Coalgebra Day 2010 in Amsterdam
  • Talk on TQFTs and Quantum Invariants of 3-Manifolds at Warsaw
  • Talk at Dagstuhl Seminar "Coalgebraic Logic"
  • Talk on the Complementation of Coalgebra Automata at CALCO 2009
  • Highschool Reunion '09, Werner-Heisenberg-Gymnasium '99
  • Gallery Updated
  • Coalgebra Workshop at Leicester
  • Talk at the Coalgebra Workshop at Leicester
  • Talk in the Internal Seminar at Leicester
  • Complementation Lemma for Coalgebra Automata
  • Change of Topic for my AC Seminar Talk
  • Talk in the AC Seminar at the ILLC in Amsterdam
  • Research Visit to the ILLC
  • Talk in Sierra Nevada, 17 January 2008
  • Talk in Leicester, 17 December 2007
  • Master Thesis Defense, 29 August 2007
  • Position at Leicester
  • A|C Seminar, 2007-01-18
• 私事
  • コンタクト
  • 履歴書
  • Organisations, Clubs and Societies
• 学業
  • PhD Dissertation
  • Master Thesis
  • Some course work
• 研究
  • 学研の興味
  • 出版物
  • Talks
  • Trace Theory of Coalgebras
  • Coalgebraic Automata Theory
  • SONIC
  • Academic Societies
  • Supplementary Material
  • 人達
  • Papers, Books, Reports Wanted
  • Seminar on 3-Dimensional Topological Quantum Field Theories
• 指南
  • Courses
  • Recommendations for Literature
• プログラッミング
  • Programming Challenges
  • Problems in OCaml
  • 99 Problems in OCaml

Top Menu

• コンタクト
• Sitemap
• About

Research related

• 研究事のブログ
  • Actions on Algebras, categorically
• 叢書
  • Compementation of Coalgebra Automata
• My CiteULike Profile
• My Wikipedia Profile
• People

More about me

• 写真
  • Travel
    • Bologna, June 2008
      • Via Del Inferno
      • Backside of the Dome
      • Galleria
      • Alley
      • Wall
      • Galleria
      • Glass Bottle Organ
      • Pillow Fight
      • Window to the Canal
      • Galleria at the University
      • University of Bologna
      • Laundry Stand at the Faculty of Chemistry
      • Galleria
      • Backside of the Dome
      • Due Torre
      • Laura
    • Puglia, June 2009
      • Flag Throwers with Capella at Wedding of Consuelo and Luca
      • Enjoying Espressino Freddo in a Cafe in Carovigno
      • Early Cultural Stone House in the Olive Groves
      • The Alley towards our B&B
      • Carovigno
      • Nzegna
      • Nzegna
      • Olive Groves
      • Olive Groves
      • Olive Groves
      • Olive Oil Factory in Carovigno
      • Carovigno
      • Padre Pio
      • Carovigno
      • Carovigno
      • At the Castle of Carovigno
      • Harbour of Santa Sabina
      • Coast in Santa Sabina
    • Paris, January 2009
      • In the Chartier
      • Queueing up for the Chartier
      • Galerie Lafayette
      • Vertical Garden at the backside of the BHV
      • In front of the Orangerie
      • Me in the Rodin Museum
      • "The Thinker" in the Rodin Museum
      • "The Citizens of Calais" in the Rodin Museum
      • Paris, 2009
      • One of many queues
      • Laura
      • View fom our window
      • Some Graffiti Art
      • Palais d'Invalides
      • Eiffel Tower on January 1st
      • Champagne
      • Sacre Coeur on New Year's Eve
      • New Year's Parade on Mont Martre
      • New Year's Parade on Mont Martre
      • Rodin's Hell Gate
      • Musee d'Orsay
      • Musee d'Orsay
      • Laura and Pont Neuf
  • Conferences
    • TANCL 07
      • Hogwart
      • The Last Supper in the University Church
      • A Sewer Cap
      • Comlab
      • The Eagle and the Child
      • Punting
      • Guram and Nick
      • The Math Institute
      • Rest in Peace
  • Other
    • Bungee Jump, December 2008
      • Afterwards
      • Pulled Down
      • Jumping
      • Putting on the Harness
• Schedule
• Coffee Blog
  • Coffee Company, Amsterdam
  • Cafe Polder, Science Park, Amsterdam
  • Coffee to Walk, Amsterdam

Programming

Social Networking

• LinkedIn
• Twitter
• Xing

Professional Life

• University of Leicester
• Elance