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): See all PLIS group project proposals.


Do you need proofreading in Danish?

Contact information

Programming, Logic and Intelligent Systems Research Group
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.