# Automated Reasoning Group

Our international research group brings together people from various departments and universities who are interested in computational logic. Our research activities focus on different aspects of computational logic, namely automated theorem proving, interactive theorem proving and working with large formal (mainly mathematical) knowledge bases (KBs). We are also interested in typing, model checking and declarative and functional programming. Our system for automated reasoning over such knowledge bases - MaLARea - has won the Large-Theory (LTB) division of the world automated reasoning championship (CASC-24) in 2013. Our systems MaLARea and SInE have won two categories in the world automated reasoning championship (CASC-J4) in 2008, and the first two places in the commercially sponsored SUMO Reasoning Prize in 2008. Our future plans include further novel combinations of inductive (e.g., machine learning) and deductive (e.g., automated theorem proving) reasoning. |