Postdoctoral fellow
Under the supervision of
Pr. Dr. Heike Wehrheim
Carl von Ossietzky Universität Oldenburg,
Formal methods team
Under the supervision of
Pr. Dr. Heike Wehrheim
Carl von Ossietzky Universität Oldenburg,
Formal methods team
Mail address
Carl von Ossietzky Universität Oldenburg
Ammerländer Heerstraße 114-118
26129 Oldenburg
Germany
Email
![[PPTX]](images/logo_mail.png)
quentin <dot> nivon <at> uni <dash> oldenburg <dot> de
Research Interests
Formal methods, specification languages, concurrency theory, graph theory, optimisation, workflow modelling.
Teaching Activities
Programming languages semantics, compilers design, databases.