Florent Franchette – - IHPST - Université Paris 1 Panthéon

Florent Franchette
7 rue des filles du calvaire
75003 Paris
H Tel 06 16 64 78 97
B [email protected]
Positions
2014-2015 Lecturer, INSA Lyon (National Institute of Applied Sciences of Lyon), Humanities department.
Education
2010-2013 PhD in Philosophy of Sciences, Paris 1 Panthéon-Sorbonne University, IHPST (Institute
of History, Philosophy of Sciences and Technologies), Dissertation title: Hypercomputation,
from logic to physics, Supervisors: Jacques Dubucs and Anouk Barberousse.
Highest honours
2009-2010 Master Degree (2nd year) in Logic and Philosophy of Science, Paris 1 PanthéonSorbonne University, Dissertation title: The limits of the physical Church-Turing thesis,
Supervisors: Jacques Dubucs and Anouk Barberousse.
Highest honours
2008-2009 Master Degree (1st year) in Mathematical Logic, Paris 1 Panthéon-Sorbonne University,
Dissertation title: Computability theory and the limits of computation, Supervisor: JeanBaptiste Joinet.
Highest honours
2007-2008 Licence Degree in Logic, Paris 1 Panthéon-Sorbonne University.
2007-2008 Licence Degree in Philosophy, Paris 1 Panthéon-Sorbonne University.
Papers
Published
2014 Hypercomputation, Encyclopaedia of Logic, J.Y. Béziau (ed.), 2014.
forthcoming
2013 Oracle hypermachines faced with the verification problem, Computing Nature, G.
Dodig-Crnkovic and R. Giovagnoli (eds.), SAPERE book series, 7, 213-223, Berlin, SpringerVerlag.
2012 Oracle Turing machines confronted with the verification problem, Natural/Unconventional Computing and its Philosophical Significance Proceedings, G. DodigCrnkovic and R. Giovagnoli (eds.), 32-37, AISB/IACAP World Congress, The University of
Birmingham.
2012 La thèse de l’hyper-calcul : problèmes et enjeux philosophiques, Cahier thématique
de Philosophia Scientiae, l’année Alan Turing, J. Copeland, D. Galmiche, D. Larchey-Wendling
et J. Vidal-Rosset (eds.), 16/3, 17-38.
2011 Why is it necessary to build a physical model of hypercomputation?, AISB Conference
Proceedings (The Society for the Study of Artificial Intelligence and Simulation of Behaviour),
D. Kazakov and G. Tsoulas (eds.),97-104, The University of York.
2011 Are mathematical models of hypercomputation useful?, IACAP Conference Proceedings (International Association of Computing and Philosophy), C. Ess and R. Hagengruber
(eds.), 46-49, The University of Aarhus.
2011 L’hyper-calcul et les paradoxes logiques de l’infini, Actes des Doctorales de Philosophie
de l’université Paris 1 Panthéon-Sorbonne, Philonsorbonne, 6, 97-98.
2010 La thèse de Turing physique et l’informatique quantique, REPHA : revue étudiante
de philosophie analytique, Vol. 2, 19-24.
1/4
2010 Achille, la tortue et les principes physiques, Implications philosophiques : perception,
axiologie et rationalité dans la pensée contemporaine, http://implications-philosophiques.org.
Submitted
2014 Random processes as computations.
2014 Should computability be epistemic? A logical and physical viewpoint.
In preparation
2014 Oracles in the hypercomputation debate.
2014 The physical possibility of hypercomputation, with Anouk Barberousse (STL, Lille I).
2014 The many forms of random processes, with Martin Schüle (IHPST, Paris I).
Teachings
General philosophy
2014-2015 General philosophy, INSA Lyon, Licence, The violence.
2011-2012 Epistemology, University Paris 1 Panthéon-Sorbonne, Licence, Epistemology of modalities.
Ethics
2014-2015 Industrial development and ethics, INSA Lyon, Licence, Introduction to the ethics of
sciences.
2014-2015 Ethics of sciences, INSA Lyon, Licence, Ethics and the internet.
2014-2015 Projet de création d’entreprise, INSA Lyon, Licence, Business ethics.
2014-2015 Ethics of sciences, INSA Lyon, 5A, Engineering ethics.
Philosophy of computer science
2014-2015 Epistemology of computer science, INSA Lyon, Master, The limits of computation.
2014-2015 Philosophy of computer science, INSA Lyon, Licence, Ethics of information technologies.
2012-2013 Philosophy of computer science, University Paris 1 Panthéon-Sorbonne, Licence, Mind
and machine.
Logic and computer science
2014-2015 Computer science, INSA Lyon, Licence, Software engineering.
2013-2014 Logic, EPITA (Engineer school), Licence, Calculability and Complexity.
2013-2014 Computer science, CNAM (National Conservatory of Arts and Crafts), Master, Automata
theory.
2009-2010 Computer science, University Paris 1 Panthéon-Sorbonne, Licence, Introduction to computer
science.
Experience
2013 Reviewer, Philosophy Study, REPHA, Implications philosophiques.
2013 Editorial work, Book of abstracts (300 pages) of ISHPSSB meeting (International Society for
History, Philosophy, and Social Studies of Biology).
2012 Visiting, University of Canterbury, Humanities computing unit, New Zealand, Supervisor:
Jack Copeland.
Research study supported by the mobility grant of the doctoral schools college
2012 Organizer of the PhD working group Philsci, IHPST, Seminar title: The Unity of Science.
2011 Co-organizer of the Philosophy department day, Paris 1 Panthéon-Sorbonne University.
2011 Manager
of
the
‘Paradoxes’
http://www.implications-philosophiques.org.
section,
Implications
Philosophiques,
Skills
C2i Certificate in information and communications technologies.
2/4
Programing Visual Basic, Java, html.
Systems Windows, Linux (Ubuntu).
Office Latex, Microsoft office, Open office.
softwares
Languages English (fluent), Spanish (academic).
Conferences with selection committee
2014 Should computability be epistemic? A logical and physical viewpoint, IACAP Conference (International Association of Computing and Philosophy), Anatolia College, Thessaloniki,
Greece.
2014 Computability and Epistemicity, AISB Conference (The Society for the Study of Artificial
Intelligence and Simulation of Behaviour), University of London, London, United Kingdom.
2013 Is the Church-Turing thesis a limit of cognitive computation ? The case of Siegelmann’s networks, EPSA Conference (European Philosophy of Science Association), University
of Helsinki, Helsinki, Finland.
2013 The Church-Turing thesis and the limits of cognitive computation, BSPS Annual
Conference (The British Society for the Philosophy of Science), University of Exeter, Exeter,
United Kingdom.
2012 Oracle Turing machines confronted with the verification problem, Natural Computing/Unconventional and its Philosophical Significance, Symposium (AISB/IACAP World
Congress), University of Birmingham, Birmingham, United Kingdom.
2012 Is the ’Verification problem’ a real problem for hypercomputation?, Quantum Information in Paris (QuPa), IHP (institut Henri Poincaré), Paris, France.
2012 Is the verification problem a threat to hypercomputation?, Philosophy and Computation Workshop, University of Lund, Lund, Sweden.
2012 Hyper-calcul et verification, Société de Philosophie Analytique (SOPHA), Ecole Normale
Supérieur, Paris, France.
2011 Why is it necessary to build a physical model of hypercomputation?, AISB Conference
(The Society for the Study of Artificial Intelligence and Simulation of Behaviour), University
of York, York, United Kingdom.
2011 Are mathematical models of hypercomputation useful?, IACAP Conference (International Association of Computing and Philosophy), University of Aarhus, Aarhus, Denmark.
Conferences without selection committee
2013 La mémoire de l’humanité, Groupe de réflexion ‘Questions de Sciences, Enjeux Citoyens’,
section mémoire numérique, Paris, France.
2012 La thèse de Church-Turing délimite-t-elle les limites du calcul cognitif ?, Séminaire
de sciences cognitives de l’ENS Lyon, ENS Lyon, Lyon, France.
2012 The usability of hypercomputation, UC philosophy research seminar,
Canterbury, Christchurch, New-Zealand.
University of
2012 Hyper-calcul et cognition, Journée doctorale organisée par l’IHPST (Institut d’Histoire, de
Philosophie des Sciences et des Techniques) et l’IJN (Institut Jean Nicod), IJN, Paris, France.
2011 Hypercomputation confronted with the verification problem, Epistemological Aspects
of Computing Workshop, Ecole Normale Supérieure, Paris, France.
2011 L’hyper-calcul et les paradoxes logiques de l’infini, Doctorales de philosophie de
l’université Paris 1 Panthéon-Sorbonne, Université Paris 1 Panthéon-Sorbonne, Paris, France.
2011 Pourquoi est-il nécessaire de construire un modèle physique d’hypercomputation
?, Projet COMPUPHYS, IHPST, Paris, France.
3/4
Grants and Awards
2013 Student bursary, BSPS Annual Conference (The British Society for the Philosophy of
Science).
2012 Mobility Grant of the doctoral schools college, Research study at the University of
Canterbury, New Zealand.
2011 Teachings at Paris 1 Panthéon-Sorbonne University, Duration: 2 years.
2010 Doctoral grant at Paris 1 Panthéon-Sorbonne University, Duration: 3 years.
4/4

Download Report