Full name: Floor Sietsma
Formal name: Dr. F.A.G. Sietsma
Function: PhD student
Email: F.Sietsma@cwi.nl
Telephone +31(0)20 592 4266
Room: L228
Research groups:
(PNA1) Algorithms Combinatorics and Optimization
(SEN1) Software Analysis and Transformation
Formal name: Dr. F.A.G. Sietsma
Function: PhD student
Email: F.Sietsma@cwi.nl
Telephone +31(0)20 592 4266
Room: L228
Research groups:
(PNA1) Algorithms Combinatorics and Optimization
(SEN1) Software Analysis and Transformation
Career
| 2013 - | Onderzoeker A PNA1 - Algorithms, Combinatorics and Optimization |
| 2012 | Onderzoeker in opleiding PNA1 - Algorithms, Combinatorics and Optimization |
| 2010 - | PhD student SEN1 - Software Analysis and Transformation |
| 2010 - 2012 | PhD student PNA1 - Algorithms, Combinatorics and Optimization |
| 2009 - 2010 | Junior project member PNA1 - Algorithms, Combinatorics and Optimization |
| 2007 | Trainee SEN1 - Software Analysis and Transformation |
Recent Publications
| F.A.G. Sietsma. Logics of Communication and Knowledge. PhD thesis 2012. |
| D.J.N. van Eijck, F.A.G. Sietsma. Action Emulation between Canonical Models. Proceedings of Conference on Logic and the Foundations of Game and Decision Theory 2012, Sevilla, Spain, 2012. |
| D.J.N. van Eijck, F.A.G. Sietsma. Questions about Voting Rules, With Some Answers. Logic and Interactive Rationality: Yearbook 2011, 2012. |
| D.J.N. van Eijck, F.A.G. Sietsma. Questions about Voting Rules, With Some Answers. W16 Workshop on Logical Aspects of Multi-Agent Systems, 2012. |
| H. van Ditmarsch, D.J.N. van Eijck, F.A.G. Sietsma, S.E. Simon, et al. Modelling Cryptographic Keys in Dynamic Epistemic Logic with DEMO. Highlights on Practical Applications of Agents and Multi-Agent Systems, Advances in Intelligent and Soft Computing 156, 155–162, 2012. |
