Phd Student on the topic
"Analysis, Optimisation and Debugging of BPMN Processes"
Under the supervision of
Pr. Gwen Salaün
Université Grenoble Alpes,
CONVECS,
LIG,
INRIA Grenoble
Under the supervision of
Pr. Gwen Salaün
Université Grenoble Alpes,
CONVECS, LIG, INRIA Grenoble
Mail address
Inria Grenoble - Rhône-Alpes / CONVECS
655 Avenue de l'Europe
38330 Montbonnot-Saint-Martin
France
Email
![[PPTX]](images/logo_mail.png)
Quentin <dot> Nivon <at> inria <dot> fr
Research interests
Formal methods, specification languages, concurrency theory, graph theory, optimisation, workflow modelling.
Teaching activities
Programming languages semantics, compilers design, databases.