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.
- AiML 2012, co-organizer and PC member
- SLS 2012, PC member
- AiML Steering Committee, member 2010-2012
- IJCAR 2012, PC member
- M4M-7, PC member
- FroCoS '11, PC member
- Tableaux 2011, PC member
- AiML 2010, PC member
- HyLo 2010, co-organizer and PC co-chair
- M4M-6, co-organizer and PC co-chair
- FIRST Autumn School on Modal Logic, main organizer
- FroCoS '09, PC member
- Tableaux 2009, PC member
- M4M-5, PC member
- HyLo 2007, co-organizer and PC co-chair
- HyLo 2006, co-organizer and PC chair
- M4M-4, PC member
- Logic of Time and Modality, organizer and PC chair
- M4M-3, PC member
I give or have recently given the following courses (some in Danish):
See all PLIS group project proposals.
Do you need proofreading in Danish?
Programming, Logic and Intelligent Systems Research Group
P.O. Box 260
DK-4000 Roskilde, Denmark
See here for information about arriving at Roskilde University.
for information about trains to/from Trekroner Station.