Torben Braüner

Torben Braüner is a Professor in the Department of People and Technology Programming, Logic and Intelligent Systems at Roskilde University, Denmark. His work bridges formal logic and cognitive psychology with significant contributions to autism spectrum disorder research. He maintains an active research program with 97 publications and multiple funded projects.

Professor Braüner's research spans several interconnected domains:

• Development and application of hybrid logic systems
• Formal reasoning and proof theory
• Cognitive psychology, particularly Theory of Mind phenomena
• Autism Spectrum Disorder (ASD) diagnostic approaches
• Linguistic recursion and language development in neurodiverse populations
• Temporal logic and philosophical implications of formal systems

His recent publications demonstrate a strong interdisciplinary trajectory, combining sophisticated logical frameworks with empirical psychological research. The majority of his work since 2019 focuses on applying hybrid logic to model cognitive processes in ASD populations, particularly analyzing false-belief tasks and linguistic recursion patterns. His research shows increasing collaboration with cognitive scientists and psychologists, reflecting the maturation of this interdisciplinary field.

Professor Braüner has secured significant research funding including:

• VELUX FONDEN for 'Hybrid-Logical Proofs at Work in Cognitive Psychology' (2014-2019)
• The Danish Natural Science Research Council for 'HYLOCORE: Hybrid Logic, Computation, and Reasoning Methods' (2009-2013)
• The Danish Natural Science Research Council for 'HyLoMOL: Hybrid Logic Meets Other Logics' (2005-2008)

His academic engagement includes regular presentations at major conferences such as the European Conference on Artificial Intelligence and the Nordic Logic Summer School, demonstrating his active role in both logic and cognitive science communities.