Cookies Policy
We use cookies to improve our site and your experience. By continuing to browse our site you accept our cookie policy. Find out More
Close
  • Menu
About

About

I am a PhD student at MAP-i doctoral program, held by Universities of Minho, Aveiro and Porto and researcher at HASLab, Univeristy of Minho.

I did both my bachelor and master degrees in Mathematics, in University of Aveiro.

My current research topic, and my goal for the PhD, lies in building a systematic process of generating dynamic logic, by developing a general theory of such logics. This approach favouring a contract-based design method for software speciï¬�cation, and the development of an algebraic structure to model the space of programs and the corresponding domains of behaviours. My goal for the PhD is to provide also a generic theory to support the logics generated by this process, as well as to discuss how to capture more complex computing paradigms, such as quantum algorithms and hybrid systems.

Interest
Topics
Details

Details

  • Name

    Leandro Rafael Gomes
  • Cluster

    Computer Science
  • Role

    Research Assistant
  • Since

    15th April 2016
Publications

2017

On Kleene Algebras for Weighted Computation

Authors
Gomes, L; Madeira, A; Barbosa, LS;

Publication
Formal Methods: Foundations and Applications - 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings

Abstract