Enseignement

  • Bibliographie

    (Fondements de la programmation)
    20 novembre 2013, par Pierre

    Livres de référence Benjamin C. Pierce, Types and Programming Languages, MIT Press, 645 pages, Jan 2002. Jean-Yves Girard, Yves Lafont, Paul Taylor, Proofs and Types, Cambridge University Press, 183 pages, 1989. disponible en pdf Robert Harper, Practical Foundations for Programming Languages, Cambridge University Press, 592 pages, 2013. Disponible en ligne : disponible en pdf Niel Jones, Computability and Complexity, MIT Press, 466 pages, Jan 1997. John Mitchell, Concepts in Programming (...)

    Lire la suite de Bibliographie

... | 28 | 29 | 30 | 31 | 32 | 33 | 34 | 35 | 36 | 37 | 38 | 39 | 40 | 41 | 42 | 43 | 44 | 45 | 46 | 47 | 48 | 49 | 50 | 51 | 52 | 53 | 54 | 55 | 56 | 57 | 58 | 59 | 60 | 61 | 62 | 63 | 64 | 65 | 66 | 67 | 68 | 69 | 70 | 71 | 72 | 73 | 74 | 75 | 76 |...

J’enseigne l’informatique à l’institut Galilée, particulièrement en licence et en master d’informatique, occasionnellement en école d’ingénieur et exceptionnellement dans nos classes préparatoires.

Recherche

Enseignement

Administration

Université Sorbonne Paris Nord Des services numériques pour étudier
Curriculum Vitæ [pdf]
Comment me contacter

Autres réalisations (logiciels, etc.)

Bluehats & UnivMobile , Présentation de la démarche design employée pour UnivMobile faite à la rencontre bluehats du 11 décembre 2019. [pdf, jpg]
Mon université en 2030, Texte d'une intervention que j'ai faite dans le cadre d'une soirée Cap 2030, organisée par le EdFab à Cap Digital le 27 février (...)
Thymio, Python et Asebamedulla
des QCM en ligne grâce à org-mode (et jQuery, et MathJax), org-mode Logo org-mode en free software [org, html, css]

Café

Expérience du désir
Enseigner la programmation
Revenu et logement, Je livre ici quelques éléments de comparaison concernant mon niveau de vie, pour couper court à quelques idées reçues, et un condensé de nombreuses (...)
Revenu et travail d’un enseignant-chercheur, Cet article complète l'article Revenu et logement, en détaillant un peu le budget de mon ménage, mon parcours d'enseignant-chercheur en terme de (...)
Paris 13 Villetaneuse, pas encore la vélorution !
Cybersyn (el systemo synco), Au café, mardi 5 avril 2011, j'ai bien vu que, mis à part Antoine Allombert, personne ne connaissait l'histoire de l'extraordinaire projet chilien (...) [jpg, jpg, png]

Divers

Affiche CiE 2016
Augmenter l’espace de stockage d’un hote GNU/Linux (VirtualBox etc.)
AperoTIC sur les réseaux sociaux
ADULLACT, Pour être un peu moins seul à défendre l'usage et le développement de logiciels libres dans mon travail (et autour), j'ai adhéré à l'ADULLACT en tant (...)
Hacker l’éducation (Open bidouille camp 2 // Fac lab de Gennevilliers)
Expo : et l’Homme… créa le robot
MathJax
Onglets dans un rapport $\LaTeX$ [gz, png, pdf, gz]
Logo LIPN et accessoires [svg, svg, png, tex, pdf, tif, zip, png, eps, svg]
Ventilo pour ibook (retrouvé) [jpg]