Elaine Gouvêa Pimentel

is a full professor at DMAT/UFRN, president of the Brazilian Logic Society and has a bachelor's in Mathematics from Universidade Federal de Minas Gerais (1991), master's in Mathematics from Universidade Federal de Minas Gerais (1993) and doctorate in Computer Science from Universidade Federal de Minas Gerais (2001). Her main research area is Mathematical Logic, with special interest in Proof Theory, including: specification and verification of logical systems, game semantics, ecumenical logics, focused systems and polarities.

possui graduação em Matemática pela Universidade Federal de Minas Gerais (1991), mestrado em Matemática pela Universidade Federal de Minas Gerais (1993) e doutorado em Ciência da Computação pela Universidade Federal de Minas Gerais (2001). Atualmente é Professora Titular da Universidade Federal do Rio Grande do Norte e presidente da Sociedade Brasileira de Lógica. Sua principal área de pesquisa é Lógica Matemática, com especial interesse nos seguintes tópicos de Teoria da Prova: especificação e verificação de sistemas lógicos, semântica de jogos, sistemas ecumênicos, sistemas focados e polaridades.