Photo

Torben Braüner, PhD, dr.scient.

I am a Professor (mso) of computer science at Roskilde University where I am head of the research group Programming, Logic and Intelligent Systems (PLIS).

Buy the book Hybrid Logic and its Proof-Theory based on my dr.scient. thesis. Read a review in Studia Logica. Excerpts from the review: "...the present book is a coherent, unified, and very readable entity. ... Throughout the discussion is clear, informative, and natural. It can be recommended as a book to read, as well as to consult, after a basic exposure to hybrid logics. ... The book ends with a somewhat philosophical discussion... I will not try to summarize the author's points. I will say I enjoyed the discussion. And the book."


Research

My main research interest is logic and the application of logic in computing as well as philosophy and psychology. I am particularly interested in non-classical logics (mainly modal and hybrid logics). See my entry in RUCforsk (Roskilde University's research database), in particular the project Hybrid-Logical Proofs at Work in Cognitive Psychology funded by the VELUX FOUNDATION. I was principal investigator of the projects HyLoMOL (2005-2008) and HYLOCORE (2009-2013), both funded by the Danish Natural Science Research Council.

Recent and upcoming activities in the research community:


Teaching

I give or have recently given the following courses (some in Danish):

Contact information

Department of People and Technology
Building 08.2
Roskilde University
P.O. Box 260
DK-4000 Roskilde, Denmark
torben@ruc.dk

See here for information about arriving at Roskilde University.