2016-2017


MMI, IUT1, Université Grenoble Alpes

  • Algorithmics and Web development (M2202)
    L1 (1st year of university)
    Data structures, PHP, MySQL
    lectures + practical work

  • Web development (M3202)
    L2 (2nd year of university)
    Dynamic Web, MVC, Symfony, Wordpress
    practical work

  • Entreprise internship supervision
    L2 and L3 (2nd and 3rd year of university)

  • Co-headmaster of the SMIN prof. licence
    L3 (3rd year of university)

HECS, MOSIG

  • Modeling and analysis of concurrent systems
    M2 (5th year of university)
    Communicating automata, Petri nets, process algebras
    lectures

Formerly


Univ. of Nantes (1999-2003), Univ. of Malaga (2007-2009),
Ensimag (2009-2016)

  • Algorithmics (Data structures, graph traversals,
    dynamic programming, branch and bound
    )

  • Programming (Functional, imperative, OO,
    event-driven, networks
    )

  • Language theory (Regular expressions, finite state
    automata, grammars
    )

  • Software engineering (UML, Merise, communicating
    automata, Jackson System Development, Data Flow Diagrams
    )

  • Formal methods (Algebraic specifications, concurrency
    theory, timed automata, temporal logic
    )

  • Supervision (MIAGE enterprise intership, enterprise
    intership, research internship
    )