The NWO (Netherlands Organisation for Scientific Research) has awarded 89 out of 508 proposals this round. We are proud to announce that both dr. Barteld Kooi and dr. Sonja Smets have been awarded a VIDI grant by NWO.
Barteld Kooi for his project: Logics for intelligent interaction: expressivity and succinctness
A short summary of this project:
One of the prominent themes in logic today is intelligent interaction, which occurs in any social situation. There is a multitude of logical
theories in this area to such an extent that for one and the same subject, there is more than one approach. There is a great need to
establish whether alternative approaches actually provide fundamentally different perspectives, or whether the differences are
merely superficial. By focusing on the expressivity and succinctness of these logics, possible differences in their underlying conceptual
frameworks are revealed, thus advancing our understanding of these conceptual frameworks and thereby of intelligent interaction itself.
Out of the 59 proposals within Humanities, 10 were successful. Barteld Kooi was awarded a VENI grant in 2005.
Sonja Smets for her project: Reasoning about quantum interaction: Logical modelling and verification of multi-agent quantum protocols.
A short summary of this project:
This project is multidisciplinary within GW (Humanities and Logic in particular), EW (the division for Physical Sciences, referring in particular to Theoretical Computer Science) and N (Physics, referring to Quantum Mechanics and Quantum Information). It designs logical systems for reasoning about the flow of classical and quantum information. This project relates to modelling and verification tasks in theoretical computer science as well as to fundamental research on the logical foundations of quantum mechanics.
Out of the 48 proposals within the Interdivisional area, 7 were successful. Sonja Smets has been a Rosalind Franklin Fellow at both the Faculty of Philosophy and the Faculty of Mathematics & Natural Sciences (Artificial Intelligence) since January 2009. Last year, both AI and philosophy were also successful in the VICI round.
