Maria Viviane de Menezes

Possui doutorado em Ciência da Computação pelo Instituto de Matemática e Estatística da Universidade de São Paulo (2014) e graduação em Ciência da Computação pela Universidade Estadual do Ceará (2008) . Tem experiência na área de Ciência da Computação, com ênfase em Inteligência Artificial, atuando principalmente nos seguintes temas: planejamento automatizado, verificação de modelos e lógica temporal.. Atualmente é Professora adjunta da Universidade Federal do Ceará, Campus de Quixadá, Membro permanente no Programa de Pós -Graduação em Computação do Campus da UFC em Quixadá (PCOMP) e membro da Comissão Especial de Inteligência Artificial da SBC (CE-IA SBC). .

graduation at CIÊNCIA DA COMPUTAÇÃO from Universidade Estadual do Ceará (2008) and doctorate at Computer Science from Universidade de São Paulo (2014). Has experience in Computer Science, acting on the following subjects: model checking, automated planning, temporal logic, model upate and ciência da computação.