Since January 2015 I'm a postdoctoral researcher in the group of Trustworthy Computational Societies. My broad areas of interest are concurrency theory, programming languages and formal verification. More specifically, I am interested in process calculi and its use to model and verify concurrent programs, with emphasis on the algorithmic aspects. I am also interested in the interaction theory and programming languages to produce more robust and reliable code.
For more information please visit my personal homepage.