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

I am an Associate Professor of computer science at Roskilde University where I am affiliated with the Programming, Logic and Intelligent Systems (PLIS) research group. 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 computer science, artificial intelligence, and philosophy. I am particularly interested in non-classical logics (mainly modal and hybrid logics). I was principal investigator of the HyLoMOL project (2005-2008) and I am now principal investigator of the HYLOCORE project (2009-2013).

Activities in the research community:

See my list of publications.


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
Building 43.2
Roskilde University
P.O. Box 260
DK-4000 Roskilde, Denmark

See here for information about arriving at Roskilde University. See here for information about trains to/from Trekroner Station.