marcia roberta falcao de farias

IEDS - INSTITUTO DE ENGENHARIAS E DESENVOLVIMENTO SUSTENTÁVEL

Perfil Pessoal

Descrição pessoal

Possui graduação em Tecnologia em Processamento de Dados pelo Instituto de Tecnologia da Amazonia (1998) e mestrado em Informática pela Universidade Federal do Amazonas (2004). Possui doutorado pela Universidade Federal do Ceará. Tem experiência na área de Matemática, com ênfase em Lógica Matemática, atuando principalmente nos seguintes temas: verificação formal de sistemas, lógicas com operadores de ponto-fixo, lógicas não-clássicas e complexidade descritiva.

Formação acadêmica/profissional (Onde obteve os títulos, atuação profissional, etc.)

Doutorado em Ciências da Computação - Universidade Federal do Ceará, UFC, Brasil.
Mestrado em Informática - Universidade Federal do Amazonas, UFAM.

Áreas de Interesse (áreas de interesse de ensino e pesquisa)

Lógica Matemática; Teoria da Computação.

Currículo Lattes:

http://lattes.cnpq.br/4349407974507759

Formação Acadêmica

Formação acadêmica não cadastrada

Contatos

Endereço eletrônico

MARCIA.ROBERTA@GMAIL.COM