Hey, my name is Damien. I am a PhD student at the University of Geneva and researcher in computer science. My research areas include semantics, modeling and verification. Currently, I am working on improving High-level Petri nets by adding a way to use functions as token. My goal is to reduce the semantic gap between an implementation and its model.
I'm working on an extension of High-level Petri nets, adding a way to use functions as token.
I've given courses/exercises for bachelor and master students in the domain of "Semantics" and "Software Modeling and Verification".
Swift, Python, Matlab, OWL, RDF, SPARQL
Git, Linux
Semantics, Modeling, Verification, Knowledge Representation