Genaína Nunes Rodrigues

Genaina Rodrigues is an associate professor in theDepartment of Computer Scienceat theUniversity of Brasília since 2009. She received her Ph.D. inComputer Science from University College Londonin 2008. Previously, she obtained her bachelors degree in Computer Science from the University of Brasília in 1999 and her Masters Degree inComputer Science from the Federal University of Pernambucoin 2002. In 2008, she conducted a postdoctoral research in theComputer Science Department at the Federal University of Minas Gerais. Her research interests are mostly in self-adaptive cyber physical systems including the mutual collaboration in the synthesis of adaptation strategies following control-theoretical principles through formal verification and AI and their interplay with goal-oriented requirements engineering. In 2013, she co-organized the premier Brazilian Software Engineering Congress (CBSoft) of the Brazilian Computer Society (SBC). In 2020, she was awarded a fellowship as an experienced researcher throughCAPES/Alexander von Humboldt Programmeto conduct research at the Humboldt Universität zu Berlin withProf. Lars GrunskeandPhD Thomas Vogel. She has also been awarded in 2024 with the best paper award at the ACM/IEEE International Conference on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) and a Distinguished paper award at the prestigious ACM/IEEE International Conference on Software Engineering (ICSE). In 2019 she was awarded the Most Influential Paper at the SBC Brazilian Symposium on Components, Architecture and Reuse (SBCARS). Throughout her career, she has (co-)supervised over 12 master dissertations and 5 PhD thesis. And she has served at national and international program committees such as the ACM/IEEE International Conference on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), ACM Symposium on the Foundations of Software Engineering (FSE), IEEE International Conference on Software Architecture (ICSA), Brazilian Symposium on Software Engineering (SBES), Brazilian Symposium on Components, Architecture and Reuse (SBCARS) and as reviewer of international world class journals such as IEEE Transactions on Software Engineering (TSE), The Journal of Systems and Software (JSS), Information and Software Technology (IST) to mention a few. (Source: Lattes Curriculum)