FormaliSE 2024
Fri 12 - Sun 21 April 2024 Lisbon, Portugal
co-located with ICSE 2024
Genaína Nunes Rodrigues

Registered user since Mon 25 Mar 2019

Name:Genaína Nunes Rodrigues
Bio:

Genaína Rodrigues is an associate professor in the Computer Science Department at University of Brasília. Her research interests includes fostering software engineering for robotics, formal verification, self-adaptive systems and its interplay with goal-oriented requirements engineering. She received her Ph.D. in Computer Science from University College London. Recently, she has actively collaborated as visiting researcher at the University of York (as a fellow of the AAIP Program) and at the Humboldt Universität zu Berlin (as an experienced researcher of the CAPES/AvH Stiftung). In the past, she was a visiting researcher at the Federal University of Minas Gerais (Brazil) and at the University of Toulouse-Jean Jaurès. She has also served as a member of organising and program committees in various highly ranked national and international venues, such as SEAMS, ACSOS, SBES, etc and reviewer for highly ranked journals, such as TSE, JSS, IST and TAAS.

Country:Brazil
Affiliation:University of Brasília
Research interests:self-adaptive autonomous systems, probabilistic model checking, software engineering for robotics, goal-oriented requirements engineering

Contributions

Show activities from other conferences

ICSE 2024-profile
View general profile