Manoel Vitor Macedo França

Atualmente é um estudante de doutorado em Ciência da Computação na City University London, sob a supervisão do Dr. Artur Garcez e do Dr. Gerson Zaverucha. Sua área de pesquisa é Integração Neuro-Simbólica, com Lógica de Primeira Ordem e Redes Neurais Artificiais. Atualmente, ele está desenvolvendo uma extensão do sistema C-IL2P (Garcez e Zaverucha, 1999) para permitir que ele aprenda exemplos de primeira-ordem proposicionalizados, chamado CILP++ e distribuído gratuitamente no Sourceforge.com como um sistema de código aberto, sob licença Apache 2.0.Ele obteve o título de Bacharel em Ciência da Computação (B.Sc.) no Departamento de Ciência da Computação/IM e seu título de Mestre em Engenharia de Sistemas e Computação (M.Sc.) pelo PESC/COPPE, ambos na Universidade Federal do Rio de Janeiro (UFRJ).

Currently is a Ph.D. student in Computer Science at City University London, under supervision of Dr. Artur Garcez and Dr. Gerson Zaverucha. His research is towards neural-symbolic integration, with First-Order Logics and Artificial Neural Networks. Currently, he is developing an extension of the C-IL2P system (Garcez and Zaverucha, 1999) to allow it learn from propositionalized first-order examples, called CILP++ and freely distributed at Sourceforge.com as a open-source system, under Apache 2.0 license.He obtained his B.Sc. diploma in Computer Science at Departamento de Ciência da Computação/IM and finished his M.Sc. degree in Systems Engineering at Programa de Engenharia de Sistemas e Computação/COPPE, both in Universidade Federal do Rio de Janeiro (UFRJ), a brazilian public university located in Rio de Janeiro, Brazil.