The Homepage of Martin Giese

Who am I?

I am a professor, and I lead the ASR section 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 8464, Ole Johan Dahls hus

Email: martingi (at) ifi (dot) uio (dot) no
PGP public key
Tel: +47-22852737
Mobile: +47-41383148

Current Work

I am head of the section ASR (Analytical Systems and Reasoning)

Since 2015, I am associated with the 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. I lead the Knowledge Representation activities of the centre.

From 2012 to 2016, I was the Assistant Scientific Director of the successful FP7 EU project Optique which aimed to apply ontology-based data access (OBDA) techniques to real-life industrial data access challenges.

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

Together with Arild Waaler, I will orgnaise the 2019 edition of the Workshop on Description Logics in Oslo

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. From December 2010 to May 2018, I was 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!