Marcos Castilho

• Logica em Inteligência Artificial
• Representação do Conhecimento, Raciocínio sobre Ações e Planejamento em IA
• Prova Automática de Teoremas
• Aplicações da IA em Computação
• Software Livre

• Algoritmos e Estruturas de Dados I (livro)
• Migrando de Pascal para C (apostila)
• Caixa de ferramentas (videos com dicas de coisas úteis para programadores)
• Programação em shell (videos e slides)

• CV Lattes
• Pesquisa
• Artigos
• Artigos no Google acadêmico
• Outras atividades

• Endereço:

  Departamento de Informática - UFPR 
  Caixa Postal 19081
  81531-980 - Curitiba/PR - Brasil
  E-mail: 
  URL: http://www.inf.ufpr.br/marcos