Torben Braüner, Ph.D., dr.scient.

I am an Associate Professor of computer science at Roskilde University where I am affiliated with the research group Programming, Logic and Intelligent Systems (PLIS). See a biographical sketch.

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."


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.

Activities in the research community:

See my complete list of publications (last updated March 2015).


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


Do you need proofreading in Danish?

Contact information

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

See here for information about arriving at Roskilde University.