Short Bio
Ricardo Rocha is an Associate Professor at
the Department of Computer Science,
Faculty of
Sciences, University of
Porto,
Portugal and a researcher at
the CRACS & INESC TEC
research unit.
He received his PhD degree in Computer Science from the University of Porto in 2001 and his main research topics are the Design and Implementation of Logic Programming Systems, Tabling in Logic Programming and Parallel and Distributed Computing. Another areas of interest include Lock-Free Data Structures, Inductive Logic Programming, Probabilistic Logic Programming and Deductive Databases. He is also one of the main developers of Yap Prolog system, and in particular of the execution models that support tabling and parallel evaluation.
He has published more than 100 refereed papers in international journals, conferences and workshops, has served more than 50 events as PC chair or PC member, has served the ALP Board as executive committee member and the ALP Newsletter as area co-editor for the Implementations and Systems track, has served the INForum Board as president, has supervised 20 PhD/MSc students and has leading role in two national projects: project STAMPA and project LEAP. Currently, he is the coordinator of the CRACS center at INESC TEC.