Here is a list of universities, groups, and researchers that I have collaborated with over these years, I am very thankful for their help on my personal wish to do science.
The real-time system laboratory at Scuola Superiore Sant’Anna is my academic home since October 2016. I did my Ph.D. at Sant’Anna, and I am still associated with the laboratory as a post-PhD researcher (professional affiliation). My main contacts are Prof. Dr. Tommaso Cucinotta and Dr. Daniel Casini.
Collaboration with the Information Security Group at ETH Zurich in the field of runtime verification since 2019. My contacts are Dr. Srdan Krstic and Prof. Dr. David Basin.
Collaboration with the Department of Computer Science at the University of Copenhagen (UCPH) in the field of runtime verification since 2020. My contact is Prof. Dr. Dmitriy Traytel (as a continuation of the collaboration with ETH Zurich since 2019).
Collaboration with the Department of Computer Science at the Boston University (BU) in the field of unikernels since 2019. My contacts are Prof. Dr. Renato Macuso and Prof. Dr. Orran Krieger.
I did my master’s and Ph.D. degree at the Automaton and System engineering post-graduation program at UFSC. My research was focused on the formal analysis of the real-time properties of Linux, since 2010. My advisor and main contact at UFSC is Prof. Dr. Rômulo Silva de Oliveira.