Francien Dechesne

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.