Martin Giese

Professor - Programming
Image of Martin Giese
Norwegian version of this page
Phone +47 22852737
Room 8464
Available hours 10.00 - 16.00
Visiting address Ole Johan Dahls hus (IFI2)
Postal address Postboks 1080 0316 Oslo

Academic Interests

I am interested in various aspects of applied logics and formal methods, including

  • Semantic Web/Semantic Technologies,
  • Tableau-based proof systems,
  • First-order logic,
  • Equality reasoning in tableaux,
  • Description logics,
  • Integration of interactive and automated theorem proving,
  • Implementation of proof systems.


Higher education and employment history




Tags: first order logic, proof search, semantic web, logic, automated reasoning, big data
Published Nov. 4, 2010 1:54 PM - Last modified Apr. 21, 2017 7:32 PM