Hello! I am Damien and I decided to create my own website. Why? Because I just want to share my passion of computer science! Here I will share insights of my research, different kinds of tutorials and tips to enhance your (and my) knowledge on particular subjects, or (sometimes) simply just my opinion.
You can also find me on these social networks:
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.
