Thomas Ågotnes is a full Professor of Information Science at the University of Bergen in Norway, where he is the head the Logic and AI (LAI) research group and currently head of teaching in Information Science. He is also a Changjiang Professor of Logic at the Institute of Logic and Intelligence at Southwest University in Chongqing, People’s Republic of China.

Professor Ågotnes’ research is in the intersection of formal logic, artificial intelligence and multi-agent systems. He is particularly interested in formalising reasoning about information (ex)change and different aspects of interaction in multi-agent systems, using modal logic. His work is often interdisiplinary, combining formal logic and computer science with formal/mathematical frameworks for modeling interaction from the social sciences such as game theory, social choice theory or social network analysis.

He has published extensively in these areas. See the Research Topics tab for more details about some research topics and collaborations, and the Publications tab for a list of publications. He has (with co-authors) received the best paper award at the AAMAS conference (2009). In 2018 he was awarded the Changjiang (Yangtze River) Scholar Award by the Chinese Ministry of Education. He has served the research community through numerous program committees, including senior program committees of IJCAI and AAMAS, as well as a frequent referee for journals and research councils. He is currently co-chair of the 2020 Scandinavian Logic Symposium (now moved to 2021 due to covid-19), and tutorials co-chair of AAMAS 2021.