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

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-2011).

Activities in the research community:

UPCOMING: AiML 2010, PC member
UPCOMING: 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

Miscellaneous information:

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

Teaching

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

See all PLIS group project proposals.

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 how to get to Roskilde University and see here for a local map. See here for information about trains to/from Trekroner Station.