Who am I ?
I am a senior R&D engineer at Nomadic Labs. I obtained my PhD in Computer Science in 2011 at LIP6 (APR team) and PPS, on statically type-checked Web 2.0 programming under the direction of Emmanuel Chailloux and Vincent Balat. You can download the full document (in French), a black and white version (in French too) and the slides (also in French). I am a former student of ENS Rennes and Paris 6 University.
Publications
- Scaling up functional programming education: under the hood of the OCaml MOOC International Conference on Functional Programming (ICFP) 2018
- Sous le capot du MOOC OCaml Journées Francophones des Langages Applicatifs (JFLA) 2016 (PDF, slides)
- Static Typing & JavaScript Libraries: Towards a More Considerate Relationship World Wide Web (WWW) 2013, developer's track (PDF, slides)
- A declarative-friendly API for Web document manipulation Practical Aspects of Declarative Programming (PADL) 2013 (PDF, slides, poster, original publication at Springer)
- How to Run your Favorite Language in Web Browsers World Wide Web (WWW) 2012, developer's track (PDF, slides)
- Experience Report: Using Objective Caml to develop safety-critical embedded tool in a certificaiton framework International Conference of Functional Programming (ICFP) 2009
- Fast and sound random generation for automated testing and benchmarking in Objective Caml Workshop on ML 2009
- O'Browser : Objective Caml on browsers Workshop on ML 2008
- Certified development tools implementation in objective caml International Symposium on Practical Aspects of Declarative Languages (PADL) 2008
- Couverture de code Caml pour la réalisation d'outils de développement certifiés Journées Francophones des Langages Applicatifs (JFLA) 2007
Contact
- e-mail: benjamin@canou.fr
- social: LinkedIN GitHub
Teaching
2014 / 2015
- (UPMC/INSTA-M2) Développement d'Applications Réticulaires (supports)
- (ENSTA-2A) Cours de PHP et JavaScript (Cours INE11)
2014 / 2015
- (ENSTA-2A) Cours de PHP et JavaScript (Cours INE11)
2013 / 2014
- (ENSTA-2A) Cours de PHP et JavaScript (Cours INE11)
2012 / 2013
- (M2) Cours d'Architecture des Applications Réticulaires (cours 2, 3, 4, 5)
- (M1) Cours de Compilation Avancée(cours 1, 2, 3, 4 par Emmanuel Chailloux, 5, projet)
- (M1) Implantation des Langages de Programmation
- (L3) Modèles de Programmation et Intéropérabilité des langages (home page)
2011 / 2012
- (M2) Cours d'Architecture des Applications Réticulaires
- (M1) Programmation Réactive, Concurrente et Répartie
- (M1) Implantation des Langages de Programmation
- (M1) Cours de Compilation Avancée(cours 1, 2, 3, ml2java)
- (L3) Modèles de Programmation et Intéropérabilité des langages (home page)
- (L2) Programmation et Données Génériques (home page)
- (M1) Encadrement de PSTL (Projet de Master 1 STL de l'université Paris 6)
2010 / 2011
- (L3) Modèles de Programmation et Intéropérabilité des langages (home page)
- (M1) Programmation Réactive, Concurrente et Répartie (home page)
- (M1) Cours de Compilation Avancée (cours 1, 2, 3, pas de 4, 5, ml2java)
- (M1) Encadrement de PSTL (Projet de Master 1 STL de l'université Paris 6)
2009 / 2010
- (L3) Modèles de Programmation et Intéropérabilité des langages (home page, resources)
- (L2) Programmation et Données Génériques (home page)
- (M1) Programmation Réactive, Concurrente et Répartie (home page)
- (M1) Encadrement de PSTL (Projet de Master 1 STL de l'université Paris 6)
2008 / 2009
- (L1) De la Puce au Web (home page)
- (L3) Modèles de Programmation Séquentielle en Objective Caml (home page)
- (L3) Environnement de Développement (home page)
- (M1) Programmation Réactive, Concurrente et Répartie (home page)
- (M1) Encadrement de PSTL (Projet de Master 1 STL de l'université Paris 6)