Menu

Séverine MAINGAUD

Paris

Electionsmunicipales 2026

RETROUVEZ GRATUITEMENTLe résultat des municipales à Paris.

En résumé

Mes compétences :
Programmation : Ocaml, Java, C, Prolog, Lisp
Programmation Web : HTML5, CSS, Ocsigen, SQL, Java
Édition : Latex, Beamer, PPT, Suite Office, Inksca
OS : Linux, Mac Os
Recherche scientifique
Enseignement universitaire

Entreprises

  • Université Paris Diderot - Paris 7

    Paris maintenant

  • INRIA - Ingénieur Transfert et Innovation

    Le Chesnay 2012 - maintenant En tant qu'ingénieur rattaché au département Transfert et Innovation d'INRIA, ma mission est d'accompagner un projet de création d'entreprise dans la phase de maturation. Il s'agit d'une start-up innovante développant en Ocsigen (Framework de programmation Web complet) un réseau social de partage d'espaces collaboratifs.

  • CNRS -- IRILL - Ingénieur de Recherche

    2012 - 2012 J'ai participé au développement de certains modules du framework de programmation Web Ocsigen, à la rédaction de la documentation de l'API et du tutoriel, mais aussi à l'animation de la communauté Ocsigen.

  • Université Paris Denis Diderot - Attaché Temporaire d'Enseignement et de Recherche

    2008 - 2010 Cours/TD de programmation : C, Java.
    TD de Logique: logique propositionnelle et du 1er ordre, Hilbert, Gentzen, Unification, Résolution

  • Univ Paris 7 - Moniteur enseignant

    2005 - 2008 TD et TP de programmation: Java, C, outils système et réseaux (shell, HTML - PHP), MySQL

Formations

Réseau

Annuaire des membres :