Geiza Maria Hamazaki da Silva

Possui graduação em Bacharelado Em Informática pela Universidade Federal Fluminense (1997), mestrado em Informática pela Pontifícia Universidade Católica do Rio de Janeiro (1999) e doutorado em Informática pela Pontifícia Universidade Católica do Rio de Janeiro (2004). Tem experiência na área de Ciência da Computação, com ênfase em Lógicas e Semântica de Programas, atuando principalmente nos seguintes temas: Ontologia, Integração de bases de dados, dedução natural, lógica intuicionista e lógica clássica.

graduate at Bacharelado Em Informática from Universidade Federal Fluminense (1997), master's at Computer Science from Pontifícia Universidade Católica do Rio de Janeiro (1999) and ph.d. at Computer Science from Pontifícia Universidade Católica do Rio de Janeiro (2004). Has experience in Computer Science, focusing on Logics and Program Semantics, acting on the following subjects: program synthesis, intuitionistic logic, dedução natural, lógica intuicionista and lógica clássica.