Yannis Bres

Name: Yannis Bres

Organisation: Ecole des Mines de Paris
Research Unit: C.M.A Sophia Antipolis

E-Mail: Yannis.Bres@cma.inria.fr
Phone: 33 4 92 38 71 71
Fax: 33 4 92 38 79 98
Personnal Web Page: not yet available

Position: PhD student

Research Activities: Application of explicit automaton techniques to Esterel
implicit FSMs: complete automaton generation (scoc)
and partial state explicitation.
Over-approximation of Reachable State Space through
variable abstraction.

Teaching Activities: JDK2 tools and GUI APIs (ISIA)
Introduction to Algorithms, Data Structures and
Imperative Programming (UNSA)