I'm a PhD student, under the MAP-i doctoral programme, whose theme is logics and calculi for cyber–physical components.
I'm mainly interested in the foundations of cyber physical systems; coalgebras, proof theory and institutional theory; also, in a myriad of logics, but particularly in modal logics.
I participated in project Mondrian and I'm currently a member of the project Dalí.
Contacts : nevrenato at di dot uminho dot pt
My Website gathers all the information about my academical activities.