- (Information outdated per Sept. 1 2009)
- Institutional location:
-
Formal Methods Group
Dept. of Mathematics & Computer Science
Technische Universiteit Eindhoven - Mail Address:
- P.O. Box 513
NL-5600 MB Eindhoven - Visiting Address:
- Room HG 7.17
Den Dolech 2
NL-5612 AZ Eindhoven
- Phone:
- +31 (0)40 247 5025
+31 (0)40 247 6685 (fax) - On Mondays I work at CWI:
- Room: M338
Tel.: +31 (0)20 592 4099 - e-mail:
- f.dechesne[at]tue.nl
Starting September 1, 2009, I am a postdoc ,
in the
Philosophy Section
of the
Faculty Technology, Policy and Management
at the Technische Universiteit Delft.
I am now also affiliated to the 3TU.Center for Ethics and Technology.
I am currently working with Jeroen van den Hoven and Yaohua Tan setting up research projects involving agent models, modal logic, game theory and value-sensitive design.
My new website in Delft is under construction.
My new e-mailaddress is as my old one, but with "tue" replaced with "tudelft".
My phone at TU Delft is: +31 (0)15 27 87215.
At TU/e, I worked as a postdoc in the VEMPS-project, together with Simona Orzan, Yanjing Wang, and Jan van Eijck. In this project we aimed to combine traditional verification methods for multi-party security protocols with recent techniques from dynamic epistemic logic.
Details on my publications can be found on my publications page.
I like foundational topics in mathematics and logic. I worked with Dr. R.P. Nederpelt teaching and supervising students on the topic of type theory and Automath. I wrote my PhD-thesis on Hintikka's Independence Friendly logic, at the Philosophy Department in Tilburg. For my MSc, I studied intuitionistic mathematics, with Wim Veldman at the Radboud University in Nijmegen.