The Homepage of Martin Giese

Who am I?

I am a professor in the LogID Group at the Department of Informatics of the University of Oslo, Norway.


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

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

Email: martingi (at) ifi (dot) uio (dot) no
PGP public key
Tel: +47-22852737
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 2015, we will kick off the SIRIUS centre for research based innovation (SFI), in which a large consortium of industry and academic partners seeks to improve data access for the oil and gas industry.

Every spring semester, I teach the course INF3580 – Semantic Technologies. See here for previous teaching activities.

Topics I am interested in include:

The last four of 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.

Committees, Organisation, and Such

I was PC co-chair, together with Andrea Calì, of a track on Rule- and Ontology-Based Data Access and Transformation at RuleML 2016

I was also a PC co-chair of the IEEE BigDataService 2016 conference.

From May 2008 to February 2015, I was editor of the Newsletter of the Association for Automated Reasoning, an office that has now been taken over by Jasmin Blanchette. Since December 2010, I am secretary of the AAR and CADE Inc.

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 and vice president of the Tableaux Steering Committee


Journal Articles

Conference and Workshop papers

Book Chapters, Editions, Theses, and Tech Reports

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