Você está aqui: Página Inicial / PESSOAS / pessoaF / Francisco Antonio Dória

Francisco Antonio Dória

por Cláudia Regina - publicado 18/06/2013 14:45 - última modificação 04/09/2015 16:27


	Possui graduação em Engenharia Quimica pela Universidade Federal do Rio de Janeiro (1968), mestrado em Física pelo Centro Brasileiro de Pesquisas Físicas (1973) e doutorado em Física pelo Centro Brasileiro de Pesquisas Físicas (1977). Atualmente é professor emérito/professor colaborador pleno - Engenharia de Produção, COPPE-UFRJ e professor emérito de comunicação - Engenharia de Produção, COPPE-UFRJ, alem de professor do HCTE/UFRJ. Tem experiência na área de Ciência da Computação, com ênfase em complexidade computacional, atuando principalmente nos seguintes temas: incompletude, cópias de gauge, sistemas dinâmicos, hipercomputação e problema p vs np.

Possui graduação em Engenharia Quimica pela Universidade Federal do Rio de Janeiro (1968), mestrado em Física pelo Centro Brasileiro de Pesquisas Físicas (1973) e doutorado em Física pelo Centro Brasileiro de Pesquisas Físicas (1977). Atualmente é professor emérito/professor colaborador pleno - Engenharia de Produção, COPPE-UFRJ e professor emérito de comunicação - Engenharia de Produção, COPPE-UFRJ, alem de professor do HCTE/UFRJ. Tem experiência na área de Ciência da Computação, com ênfase em complexidade computacional, atuando principalmente nos seguintes temas: incompletude, cópias de gauge, sistemas dinâmicos, hipercomputação e problema p vs np.

Currículo

Curriculum Vitae

Contato

Informações Adicionais

Relacionados(s)

Professor Visitante do IEA

CONFERÊNCIAS

Alguns resultados recentes na teoria dos algoritmos - 1º Simpósio Brasileiro de Filosofia da Natureza, realizado no Rio de Janeiro - 21 a 24 de agosto de 2001
Metamathematics of P=?NP - 23 de abril de 2002, Universidade Federal de Santa Catarina, Florianópolis
Equilíbrio de Nash e Teorema de Goedel - 22 de maio de 2002
Definições Exóticas em Complexidade Computacional - 25 de setembro de 2002
Introdução aos Conceitos e Estrutura de Física Teórica - 23 de outubro, 5 e 11 de novembro e 3 de dezembro de 2002
Teoria dos Conjuntos e os Fundamentos da Teoria da Computação - 18 de março de 2003
Novos Resultados sobre o Problema P=NP - 24 de junho de 2006

Metamathematics of Science, em conjunto com o Prof. Dr. Newton da Costa. Kluwer Academic Publishers Mathematics, 2003.
Informal and formal mathematics, em conjunto com Décio Krause e J.Y. Béziau. Kluwer Academic Publishers Mathematics, 2002.
Essays in Honor of Patrick C. Suppes, com Newton da Costa, 2003
On set Theory as a Foundation for Computer Science, com Newton da Costa,2003

Navegação