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