I'm assistant professor of Mathematics Department of University of Aveiro, a member of CIDMA and a coolaborator of HASLab - INESC TEC . Before that, I developed the postdoc "dynamic logics for every season" supported by the FCT (Portuguese Foundation for Science and technology) with the individual grant SFRH/BPD/103004/2014 at HASLab - INESC TEC and CIDMA . The project was supervised by Luís S. Barbosa (Informatics Dep. of Univ. Minho) and Manuel A. Martins (Mathematics Dep. of Univ. Aveiro).
I have recently coordinated the FCT R&D project DaLí: Dynamic logics for cyber-physical systems: towards contract based design.