Dr.Dechesne, F. (Francien)

Eindhoven University of Technology

Section: Philosophy & Ethics
Faculty: Industrial Engineering & Innovation Sciences

Visiting address

eLaw@Leiden - Center for Law and Digital Technologies
KOG building B3.32
Leiden Law School
Steenschuur 25
2311 ES Leiden

Mail address





Francien Dechesne is researcher at the Center for Law and Digital Technologies (eLaw) of the Leiden Law School. Her current research involves the question of how to strike a balance between public, commercial and individual interests in the use of data analytics (SCALES project in the NWO Responsible Innovation program).

Her general research interest is Formal Ethics for Information Technology: the application of logic and formal methods in ethical and societal aspects of ICT. She is particularly interested in issues around security and privacy in our increasingly networked and data-driven world, and more generally in the specification and verification of non-functional requirements in technological design.

In 2009 she became a member of 3TU.Ethics, when she joined the Department of Technology, Policy and Management of TU Delft. She worked there as a researcher on several projects until 2014. In 2014 and 2015 she held a position as lecturer and policy advisor for the scientific integrity board at TU Eindhoven. In particular, she supported the development of policy on research data management and on responsible experimentation outside traditional lab settings.

Before 2009, she worked in theoretical computer science on formalization and automated verification, in particular the application of epistemic logic in the verification of security protocols (Technische Universiteit Eindhoven). She holds a PhD in Logic (Universiteit van Tilburg, Department of Philosophy, 2005), and a Master’s degree in foundations of mathematics (especially: intuitionistic mathematics, Radboud Universiteit Nijmegen, 1996). A VSB-scholarship allowed her to attend UCLA as a visiting student from September 1996-March 1997.
From 1997 until 2000, she worked as IT management professional at Pink Elephant bv.

For more and older publications, see also Google Scholar, Springer and DBLP.

Francien Dechesne has served as reviewer for the following workshops, conferences, journals and book publishers (selection): AAMAS 2012 and 2013, AMPLE 2011 and 2012 (co-chair), IJCAI 2011, FAST 2011, WoLLiC 2011, Synthese, Ethics and Information Technology, Logic Journal of the IGPL, Studia Logica, Journal of Philosophical Logic, Theoretical Computer Science, Knowledge-Based Systems, Cambridge University Press.

Scientific publications (selection)


  • Francien Dechesne, Amineh Ghorbani and Neil Yorke-Smith (eds), AI & Society Volume 30 Issue 3, August 2015 - Special issue on agent-based modelling for policy engineering. available online
  • Martijn Warnier, Dechesne, Francien and Brazier, Frances. Design for the Value of Privacy. In: Handbook of Ethics, Values, and Technological Design, Jeroen van den Hoven, Vermaas, Pieter E. and van de Poel, Ibo (eds). pp 431-445. Springer Netherlands, 2015. (DOI 10.1007/978-94-007-6970-0_17) available online
  • Wolter Pieters, Dina Hadžiosmanović, and Francien Dechesne. 2015. Security-by-experiment: Lessons from Responsible Deployment in Cyberspace. Science and Engineering Ethics. Published Online First: 21 April 2015. (DOI 10.1007/s11948-015-9648-y) available online
  • Wolter Pieters, Julian Padget, Francien Dechesne, Huib Aldewereld, and Virginia Dignum, 2015. Effectiveness of qualitative and quantitative security obligations, Journal of Information Security and Applications, 22 (April 2015), pp. 3-16. ISSN 2214-2126. available online


  • Amineh Ghorbani, Francien Dechesne, Virginia Dignum, Catholijn Jonker, Enhancing ABM into an Inevitable Tool for Policy Analysis. Journal of Policy and Complex Systems, Volume 1, Issue 1, Spring 2014. Policy Studies Organization. pp. 61-76
  • Dechesne, F.; Hadziosmanovic, D.; Pieters, W., "Experimenting with Incentives: Security in Pilots for Future Grids," in Security & Privacy, IEEE , vol.12, no.6, pp.59-66, Nov.-Dec. 2014 available online
  • Wolter Pieters, Dina Hadžiosmanović, and Francien Dechesne. 2014. Cyber Security as Social Experiment. In Proceedings of the 2014 workshop on New Security Paradigms Workshop (NSPW '14). ACM, New York, NY, USA, 15-24. available online


  • Dechesne Francien, Gennaro di Tosto, Virginia Dignum and Frank Dignum. 2013. "No smoking here: values, norms and culture in multi-agent systems" Artificial Intelligence and Law Volume 21, Issue 1, pp 79-107. available online
  • Dechesne, Francien and Mohammad Reza Mousavi. 2013. "Interpreted systems semantics for process algebra with identity annotations" Proceedings of the Ninth International Tbilisi Symposium on Language, Logic and Computation, Kutaisi 2011. Lecture Notes in Computer Science 7758: 182-205. Springer, Heidelberg. available online
  • Francien Dechesne, (Cyber) security in smart grid pilots, Interview report. Final version, 12 December 2013. Next Generation Infrastructures. click to open pdf
  • Francien Dechesne, Martijn Warnier, and Jeroen van den Hoven, 2013. Ethical requirements for recon figurable sensor technology - a challenge for value sensitive design, Ethics and Information Technology 15 (2013), no. 3, 173-181.
  • Wolter Pieters, Julian Padget, Francien Dechesne, Huib Aldewereld, and Virginia Dignum, 2013. Obligations to enforce prohibitions: On the adequacy of security policies, In: Proceedings of the 6th International Conference on Security of Information and Networks (SIN2013), Turkey, November 2013.


  • Dechesne, F. et al. (eds), 2012. Advanced Agent Technology - AAMAS 2011 Workshops, AMPLE, AOSE, ARMS, DOCM3AS, ITMAS, Taipei, Taiwan, May 2-6, 2011. Revised Selected Papers. Lecture Notes in Computer Science, Volume 7068, Springer. available online
  • Dechesne, F., and Virginia Dignum and Yao-Hua Tan, 2012. "Understanding Compliance Differences between Legal and Social Norms: The Case of Smoking Ban ". Lecture Notes in Computer Science, Volume 7068, Advanced Agent Technology pp. 50-64. available online
  • Dechesne, Francien and Rob Nederpelt. 2012. "N.G. de Bruijn (1918-2012) and his Road to Automath, the Earliest Proof Checker" The Mathematical Intelligencer 34(4), 4-11.
  • Detweiler, Christian A., Francien Dechesne, Koen V. Hindriks and Catholijn Jonker. 2012. Ambient Intelligence implies Responsibility. In: Agents and Ambient Intelligence. Tibor Bosse, editor, Vol. 12 in the book series Ambient Intelligence and Smart Environments (AISE), 33-61. IOS Press. available online


  • Dechesne, F., Jeroen Van Den Hoven and Martijn Warnier. 2011. "Requirements for Reconfigurable Technology: a challenge to Design for Values." Proceedings of the workshop Values in Design - Building Bridges between RE, HCI & Ethics, Lisbon, Sept. 6, 2011: 24-31.
  • Dechesne, F., M.J. van den Hoven, M.E. Warnier. 2011. "Reconfigurable sensor networks: transforming ethical concerns?" (extended abstract) Proceedings of CEPE 2011:Crossing Boundaries - Ethics in Interdisciplinary and Intercultural Relations; May 31-June 3, 2011, Milwaukee Wisconsin : 74-78
  • Dechesne, F., Virginia Dignum. 2011. "No smoking here: compliance differences between legal and social norms." (extended abstract). Proceedings of AAMAS '11: The 10th International Conference on Autonomous Agents and Multiagent Systems: 1205-1206 available online


  • Dechesne, Francien, and Yanjing Wang, 2010. "To know or not to know - Epistemic approaches to security protocol verification", Synthese 177:51-76 (Knowledge Rationality & Action 291-316). DOI 10.1007/s11229-010-9765-8 available online