Photo

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:

Further information: 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.