Dechesne, F. (Francien)
Research profile
As researcher in the 3TU Centre for Ethics and Technology, Francien Dechesne aims to broaden her research scope from the study of logic and formal methods to their possible application in ethical societal aspects of ICT. She is particularly interested in issues around security and privacy, and more generally the specification of non-functional requirements in technological design. She hopes to contribute methodological and conceptual clarification to the Value Sensitive Design-programme.
Before joining the Philosophy section in Delft, she researched the applicability of (dynamic) epistemic logic in the verification of security protocols (NWO-project VEMPS at Technische Universiteit Eindhoven, Department of Mathematics and Computer Science).
She wrote her PhD-thesis on the topic of logics with semantics in terms of imperfect information games (Universiteit van Tilburg, Department of Philosophy).
She studied foundations of mathematics (especially: intuitionistic mathematics) with a special interest in philosophy (Radboud Universiteit Nijmegen).
A list of Francien Dechesne’s publications at Tilburg University and TU Eindhoven is available at her old homepage in Eindhoven. See the Springer website for a current listing of Francien’s Springer publications, and DBLP for all DBLP-listed publications.
Francien Dechesne has served as reviewer for the following workshops, conferences, journals and book publishers (selection): AAMAS 2012, AMPLE 2011 (organizing chair), IJCAI 2011, FAST 2011, WoLLiC 2011, Synthese, Ethics and Information Technology, Logic Journal of the IGPL, Studia Logica, Theoretical Computer Science, Knowledge-Based Systems, Cambridge University Press.
Scientific publications (selection)
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., 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 available online
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-1206available 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-8available online
Teaching
IN1505: ICT en Maatschappij ("ICT and Society"), for first year students in computer science (Department EWI of TU Delft, Spring 2010).
WM0325TA: Techniek en verantwoordelijkheid ("Technology and Responsibility"), for second year BSc-students in geosciences (Department Civil Engineering and Geosciences of TU Delft, Fall 2010 & Fall 2011)
WM0324LR: Ethics and Technology, for MSc students in Aerospace Engineering (Department of Aerospace Engineering, TU Delft, Fall 2010)
WM0328IN: Ethics and Law for Computer Scientists, third year (Department EWI of TU Delft, Spring 2011).
