Genaina Nunes

Short Bio

Genaina Rodrigues is an associate professor in the Department of Computer Science at the University of Brasília. She received her Ph.D. in Computer Science from University College London in 2008. Previously, she obtained her bachelor’s degree in Computer Science from the University of Brasília in 1999 and her Master’s Degree in Computer Science from the Federal University of Pernambuco in 2002. In 2008, she conducted a postdoctoral research in the Computer Science Department at the Federal University of Minas Gerais. Her research interests are mostly in Software Systems Engineering including the mutual collaboration between robotics and software engineering, model checking for design and runtime verification, self-adaptive systems and the interplay with goal-oriented requirements engineering, behavior-driven development and its role in testing. In 2013, she co-organized the Brazilian Software Engineering Congress (CBSoft) of the Brazilian Computer Society (SBC). In 2020, she was awarded a fellowship as an experienced researcher through CAPES/Alexander von Humboldt Programme to conduct research at the Humboldt Universität zu Berlin with Prof. Lars Grunske and PhD Thomas Vogel.


My publications can be found in one of the following websites:

Research Projects

Trustworthy Runtime Guarantees for Self-Adaptive Software Systems in the Presence of Uncertainties
This a CAPES/Alexander von Humboldt funded research project conducted in collaboration with the Software Engineering group at the Humboldt Universität zu Berlin aiming at investigating techniques, methodologies and processes capable of providing design- and run-time assurances for self-adaptive systems in the presence of structural and environmental sources of uncertainties.

Fostering the Engineering of Adaptive Robotic Missions
This a FAPDF funded research project conducted in collaboration with Prof. Patrizio Pelliccione from GSSI in L’Aquila, Italy and Prof. Radu Calinescu from University of York, UK. This project proposes to foster the engineering of missions of robotic applications through systematic software engineer approaches. At design time, the proposed project will provide a modelling framework that allows the end-user specify robotic missions that cope with the variability of conditions of application scenarios in real environments. At runtime, the proposal will provide an adaptive software architecture for robotic missions to increase the autonomy level of robotic missions operating in uncertain environments. The expected outcome of this project is threefold: (i) promote scientific innovation by incrementing the state-of-the-art of the engineering of autonomous robotic missions through systematic software engineer approaches; (ii) promote technologic innovation by implementing frameworks for specifying, verifying and executing robotic missions to be applied in various case studies and (iii) foster research collaboration between our research group and international academic centres of excellence.

PROFISSA - Programmable Future Internet for Secure Software Architectures
This is a FAPESP funded research project conducted in collaboration with UFRGS, UFABC and RNP. This project is proposed to investigate, map and advance the use of software engineering techniques when applied to programmable networks in order to improve the structural, functional and process quality of network programs. Moreover, the network programs developed in the project will be executed in real environments of programmable networks implemented on a testbed for development and analysis of software defined networks (SDN). Therefore, the integration between RNP and the FABRIC project is sought to create real state-of-the-art programmable network environments, taking into account, for example, the use of programmability in the data plane with the use of devices that support P4 interfaces.



PhD Students

  • Gabriel Siqueira Rodrigues
  • Sigfredo Farias Rocha
  • Renato Edésio
  • Arthur José Farias Rodrigues

Master Students

  • João Paulo Costa de Araújo
  • Danilo José Bispo Galvão
  • Gabriel Frutuoso Araújo Pereira (Moisés)


PhD Students

  • Felipe Pontes Guimarães (co-supervision with Daniel Batista)
  • André Luiz Peron de Martins Lanna (co-supervision with Vander Alves)

Master Students

  • Ricardo Diniz Caldas
  • Eric Bernd Gil
  • Marc Carwehl
  • Rafael Fazzolino
  • Gabriela Felix Solano
  • Caio Batista de Melo
  • Thiago Peixoto dos Reis
  • Fabio Leal Barros
  • Danilo Filgueira Mendonça
  • Alexandre Vaz Roriz


These artifacts have been developed as part of research supervisions and publications