O LIAMF (grupo de Lógica, Inteligência Artificial e Métodos Formais), do IME-USP está aceitando alunos de doutorado para o programa de pós-graduação em Ciência da Computação nas áreas listadas abaixo e afins:
- Desenvolvimento de Sistemas Multi-agentes - Desenvolvimento de Sistemas Tolerantes a Falhas - Diagnóstico Automático - Especificação, Teste e Verificação de Software - Geração Automática de Código - Linguística Computacional - Lógica Computacional - Ontologias e Web-semântica - Planejamento e aprendizado - Raciocínio Probabilístico - Representação de Conhecimento - Revisão de Crenças - Robótica Cognitiva - Teoria de Jogos O LIAMF possui projetos de pesquisa abrangendo todas as áreas acima mencionadas e gostaria que seus alunos de doutorado se envolvessem preferencialmente com estes projetos. O LIAMF está empenhado em construir a divisão de Inteligência Artificial do Centro de Competência em Software Livre, cuja construção foi recentemente aprovada. Desta forma, a produção de software livre durante o programa é fortemente incentivada. Perfil esperado do candidato: - Dedicação em tempo integral - Mestrado concluído em área correlata - Bom histórico escolar de graduação e mestrado Em casos excepcionais, alunos sem mestrado mas com excelente histórico de graduação e experiência comprovada de pesquisa através de publicações poderão ser considerados. As inscrições podem ser feitas em qualquer período. Para maiores informações, consulte a página: http://www.ime.usp.br/dcc/posgrad/Admissao/doutorado.html O LIAMF, desde 2000 é formado por cinco professores do departamento de computação do IME USP: - Ana C. V. de Melo (http:/www.ime.usp.br/~acvm) - PhD pelo Department of Computer Science da University of Manchester, UK (1995), trabalha principalmente nas áreas de Especificação, Teste e Verificação de Software, Desenvolvimento de Sistemas Tolerantes a Falhas baseado em Componentes, Geração Automática de Código e Desenvolvimento de Sistemas Multi-agentes. - Flavio Soares Corrêa da Silva (http://www.ime.usp.br/~fcs) - PhD (Univ. Edinburgh 1992), Livre-docente (USP 1999), trabalha com lógica aplicada. Nos últimos anos tem trabalhado com aplicações em Representação do Conhecimento, Sistemas Distribuídos, Ontologias, Web Semântica, Sistemas Interativos Inteligentes e Entretenimento Digital. - Leliane Nunes de Barros (http://www.ime.usp.br/~leliane) - PhD pela Escola Politécnica da Universidade de São Paulo (1998), doutorado sanduiche pelo CNPq na Universidade de Maryland. Trabalha nas áreas de planejamento sob incerteza e para metas estendidas, planejamento versus aprendizado, robótica cognitiva e diagnóstico automático. - Marcelo Finger (http://www.ime.usp.br/~mfinger) - Marcelo Finger, PhD em Computação pelo Imperial College, University of London (1994), Livre-docente pela USP (2001), trabalha principalmente nas áreas de Lógica Computacional, Linguística Computacional, Raciocínio Probabilístico, Lógica Temporal e Verificação Formal. - Renata Wassermann (http://www.ime.usp.br/~renata) - PhD pelo Institute of Logic, Language and Computation da Universidade de Amsterdã (2000), Livre-docente pela USP (2005), trabalha principalmente nas áreas de Representação do conhecimento, Revisão de Crenças, Ontologias e Web-Semântica. -- Marcelo Finger Departamento de Ciencia da Computacao Instituto de Matematica e Estatistica Universidade de Sao Paulo Rua do Matao, 1010 05508-090 Sao Paulo, SP Brazil Tel: +55 11 3091-9688, 3091-6135, 3091-6134 (fax) http://www.ime.usp.br/~mfinger _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
