Floor Sietsma: Curriculum Vitae - CWI

Floor Sietsma
Email:
Homepage: £
Personal
Born: February 11, 1992 in Amstelveen, The Netherlands.
Nationality: Dutch
Education
September 2012 - Present. BSc Pedagogische Wetenschappen, University of Amsterdam.
January 2013 - Present. Coaching Class. AMETHIST Developing People, Amersfoort.
March 2010 - December 2012. CWI, Amsterdam. PhD project on “Logics of Communication and
Knowledge”.
October 2009 - March 2010. CWI, Amsterdam. Orientating research project.
2007 - 2009. MSc Logic (Cum Laude), University of Amsterdam.
2004 - 2007. BSc Computer Science, University of Amsterdam.
2003 - 2005. VWO secondary education, selfstudies at home.
2002 - 2003. VWO bilangual Dutch/English secondary education, Hermann Wesselink College Amstelveen
Employment
December 2012 - Present. CWI, Amsterdam. Postdoctoral researcher.
February - June 2009. Axini, Amsterdam. Master thesis internship in automated software testing.
September - December 2008. UvA, Amsterdam. Teaching Assistant for the course “Automata”.
September - December 2008. UvA, Amsterdam. Student Tutor for a group of 10 new students.
2007 - present. Freelance website developer.
Specialties and interests
Epistemic logic, game theory, modal logic, formal automata, computational social choice, machine
learning.
Voluntary Work
VIA (student’s union) 2006–2008, Amsterdam. Activity coordinator, leading a commission of 7 people.

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.