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.

Research

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-2012). See a video from the defence of my dr.scient. thesis on April 23rd 2009.

Activities in the research community:

UPCOMING: AiML 2012, co-organizer and PC member, see a presentation here
UPCOMING: M4M-7, PC member
UPCOMING: 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

Further information:

Hybrid Logic and Its Proof-Theory
Hybrid Logic, entry in The Stanford Encyclopedia of Philosophy
Handbook of Modal logic, a view of the cover can be found here
Papers on Time and Tense New Edition

See also my complete list of publications.

Teaching

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

See all PLIS group project proposals.

Miscellaneous

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
torben@ruc.dk

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