Ricardo Rocha
Ricardo Rocha

Professor Associado do Departamento de Ciência de Computadores da Faculdade de Ciências da Universidade do Porto e coordenador adjunto do centro de investigação CRACS do INESC TEC. É doutorado em Ciência da Computadores pela Universidade do Porto e tem como principais temas de investigação o Desenho e Implementação de Sistemas de Programação Lógica, Tabulação em Programação Lógica, Programação em Lógica Indutiva, Programação em Lógica Probabilística, Computação Paralela e Distribuída, e Estruturas de Dados Lock-Free. Publicou mais de 100 artigos em revistas e conferências internacionais e serviu em mais de 50 eventos como presidente ou membro da Comissão de Programa.