Martin Giese

Martin Giese is a Professor at the Department of Informatics (IFI), University of Oslo, specializing in applied logics, formal methods, and semantic technologies. He is affiliated with the Data and Knowledge Systems (DKM) research group and has held postdoctoral positions at RICAM, RISC, and Chalmers University of Technology.

• PhD and Diploma in Computer Science from Universität Karlsruhe (2002/1998)
• Secretary of the Association of Automated Reasoning and CADE Inc. (2010–2018)
• Steering Committee member of Tableaux (2009–2017), Vice President (2013–2017)

His research focuses on semantic web technologies, ontology-based data access (OBDA), and industrial applications of formal methods. Key contributions include the development of OptiqueVQS (visual query system for big data) and GeoFault (ontology for geological modeling). Recent publications address SPARQL optimization with SHACL, digital twins, and geological process simulation.

Scientific collaborations span institutions like Statoil, Siemens, and ACM/IEEE conferences. His work bridges theoretical logic with practical industrial data challenges, emphasizing user-centric semantic systems and scalable solutions for cross-linked datasets.