Doctor in Computer Sciences
Mail address
6 Avenue de Valmy
38100, Grenoble
France
Email
![[PPTX]](images/logo_mail.png)
quentin <dot> nivon <at> yahoo <dot> fr
Research Interests
Formal methods, specification languages, concurrency theory, graph theory, optimisation, workflow modelling.
Teaching Activities
Programming languages semantics, compilers design, databases.