Martin Giese

Professor - Programming
Image of Martin Giese
Norwegian version of this page
Phone +47 22852737
Room 8464
Available hours 10.00 - 16.00
Username
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.

Teaching

Higher education and employment history

Appointments

Cooperation

 

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