Truth is elusive to those who refuse to see with both eyes

NOME

Bruno César Ribas

SINOPSE

Aluno de Mestrado em Informática da Universidade Federal do Paraná (UFPR)

Formado no curso Bacharelado em Ciência da Computação (BCC) da Universidade Federal do Paraná (UFPR)

Você pode ver a versão antiga da página AQUI

DESCRIÇÃO

Meu CV

Formado no BCC da UFPR. Além de ser bolsista do Centro de Computação Ciêntifica e Software Livre (C3SL), onde faço parte do projeto Paraná Digital, desde 2004.

Fiz iniciação científica em Inteligência Artificial [sobre compilação de teorias proposicionais], e sou orientado pelos professores Fabiano Silva e Razer.

Fui monitor voluntário da disciplina Algoritmos e Estruturas de Dados I (CI055)

Sou aluno do Mestrado em Informática do mesmo departamento, onde trabalho com Prova Automática de Teoremas em fórmulas Não Clausais.

As vezes atualizo essa página com informações úteis, por exemplo, as Apresentações que fiz por aí e Algumas Respostas para o meu F.A.Q. O pior de manter um FAQ é que realmente diminui a quantidade de perguntas repetidas feitas para mim, então fica lá.

INTERESSES