The Homepage of Martin Giese

Who am I?

I work as an associate professor in the LogID Group at the Department of Informatics of the University of Oslo, Norway.

Address

Martin in the Woods
Martin Giese
Institutt for informatikk
Postboks 1080 Blindern
N-0316 Oslo
Norway

Office: room 9162, Ole Johan Dahls hus (Ifi2)

Email: martingi (at) ifi (dot) uio (dot) no
Tel: +47-22852737
Fax: +47-22852401
Mobile: +47-41383148

Current Work

I am currently working as Assistant Scientific Director of the FP7 EU project Optique which aims to apply ontology-base data access (OBDA) techniques to real-life industrial data access challenges.

In 2013, I am giving for the fourth time the course INF3580 – Semantic Technologies. See here for previous teaching activities.

In 2009 I organized TABLEAUX 2009, the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods in Oslo, together with Arild Waaler. Since 2010, I am an elected member of the Tableaux Steering Committee

Since May 2008, I am editor of the Newsletter of the Association for Automated Reasoning, and since December 2010, I am secretary of AAR and CADE

Other topics I am interested in include:

These are also the main topics of my PhD thesis, which I finished in 2002 at Karlsruhe University. I wrote an automated theorem prover called PrInS, about which you can read more here.

I am also the author of the pgf-blur, pst-blur and pst-slpe LaTeX packages, which add some fancy features to PGF/TikZ, resp. PSTricks, and of the Java Pretty Printer Library (jpplib), which helps in printing structured data using indentation.

Finally, I have compiled a little collection of ideas I should like to investigate if I had time.

Publications

Journal Articles

Conference and Workshop papers

Book Chapters, Editions, Theses, and Tech Reports


Valid XHTML + RDFa [Extract RDFa!] Valid CSS!