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.


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.

Other 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 will be PC co-chair, together with Andrea Calì, of a track on Rule- and Ontology-Based Data Access and Transformation at RuleML 2016

I will also be a PC co-chair of the IEEE BigDataService 2016 event.

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!