2016-2022
MMI, IUT1, Université Grenoble Alpes
-
Algorithmics and Web development
L1 (1st and 2nd year of university)
-
Object-oriented programmming in Java
L3 (3rd year of university)
-
Algorithmics
L3 (3rd year of university)
-
iOS programming
L3 (3rd year of university)
-
Entreprise internship supervision
L2 and L3 (2nd and 3rd year of university)
-
Headmaster of the SMIN prof. licence
L3 (3rd year of university)
MOSIG
-
Modeling and analysis of concurrent systems
M2 (5th year of university)
-
Process engineering
M2 (5th year of university)
|
|
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)
|