Hello,
As indicated by the title I'm currently looking for a group. To present myself: I'm a student doing a double-diploma from a theoretical computer science university in France (named ENS de Lyon) and I'm currently doing a Master Project in Formal Verification in the LARA laboratory.
I couldn't attend this course last year so I decided to follow it this year. I'm really interested about decentralized systems and interactions between independent systems (like agents). I don't really know what the project could be but I would enjoy meet you and share with you project ideas.
Please contact me (also I'm currently in the project's room).
Jérôme Boillot
