Floor Sietsma: Curriculum Vitae - CWI

More documents

Recommendations

Info

Floor Sietsma 2 Awards Youngest PhD in Dutch history, 2012. Finalist for the Google Anita Borg Scholarship 2010 Youngest person in history to enter a Dutch university, 2004 Extracurricular Courses 2012. Personal Leadership, AMETHIST Developing People, Amersfoort. 2009. Practical Training in Leadership and Communication, AMETHIST Developing People, Amersfoort. 2004. Communication and Social Behavioral Styles, AMETHIST Developing People, Amersfoort. Languages Dutch, fluent. English, excellent. Programming Python, Java, C, Haskell, Prolog, Matlab, Mathematica, HTML, PHP, CSS, Javascript
Floor Sietsma 3 Publications Logics of Communication and Knowledge. PhD thesis, 2012 Action Emulation Between Canonical Models, with Jan van Eijck. Proceedings of the 10th Conference on Logic and the Foundations of Game and Decision Theory, to appear. Modelling Cryptographic Keys in Dynamic Epistemic Logic with DEMO, with Hans van Ditmarsch, Jan van Eijck, Ignacio Hernandez Anton, Floor Sietsma, Sunil Simon, Fernando Soler Toscano. Proceedings of Multi-Agent Systems for Safety and Security, to appear. Common Knowledge in Email Exchanges, with Krzysztof Apt. Transactions on Computational Logic, to appear. On the Logic of Lying, with Hans van Ditmarsch, Jan van Eijck, Yanjing Wang. Games, Actions and Social Software, LNCS 7010, 2012. Message Passing in a Dynamic Epistemic Logic Setting, with Jan van Eijck. Thirteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2011. Reflections on Vote Manipulation, with Jan van Eijck and Sunil Simon. Logic, Rationality and Interaction, 2011. Composing Models, with Jan van Eijck, Yanjing Wang. Journal of Applied Non-Classical Logics, 2011. Message Generated Kripke Semantics, with Jan van Eijck. 10th International Conference on Autonomous Agents and Multiagent Systems, 2011. Logic of Information Flow on Communication Channels, with Jan van Eijck, Yanjing Wang. 9th International Conference on Autonomous Agents and Multiagent Systems, 2010. A Case Study in Formal Testing and an Algorithm for Automatic Test Case Generation with Symbolic Transition Systems, MSc Thesis, 2009. Multi-Agent Belief Revision with Linked Preferences, with Jan van Eijck. 8th Conference on Logic and the Foundations of Game and Decision Theory, 2008. Cooperative Boolean Games, based on a paper by Dunne et al., written as coursework in 2008. Model Checking for Dynamic Epistemic Logic with Factual Change, BSc Thesis, 2007.
Page 1: Floor Sietsma Email: Homepage: £

Floor Sietsma: Curriculum Vitae - CWI

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?