Bahareh Afshari new member of national committee for Logic
Bahareh Afshari, researcher in Logic, has been elected to serve on The Swedish National Committee for Logic, Methodology and Philosophy.
”I am very happy to be in a position to contribute to logic in Sweden as a whole. One of the committee's responsibilities is to strengthen the links between logic and society – ranging from high-school to industry – through organising annual workshops and outreach activities. This is one of the activities I am most looking forward to as it is very different from my day to day research and teaching work", says Bahareh Afshari.
This committee is one of 18 national committees established by The Royal Swedish Academy of Sciences’ (KVA). They are, among others, responsible for contacts with the scientific unions within the International Science Council.
New project in Computational Logic
Bahareh Afshari has recently been awarded a 4-year research grant from The Netherlands Research Council (NWO) for carrying out research in the area of Computational Logic. This work will be conducted at the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam.
”The goal of this project is to use mathematical languages to succinctly represent computational systems such as programs and databases and in doing so lay the foundation for more efficient algorithms for handling these systems", says Bahareh Afshari.
Anna-Sofia Maurin, professor of Theoretical Philosophy at the Department of Philosophy, Linguistics and Theory of Science, is also a committee member.
Further information about the national committee is available from the KVA website www.kva.se/sv/om-oss/organisation/nationalkommitteer