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. His main research interests include the design and implementation of logic programming systems, tabling in logic programming, and parallel and distributed computing. Additional areas of interest include lock-free data structures, inductive logic programming, probabilistic logic programming, and deductive databases. He is one of the main developers of the Yap Prolog system, particularly contributing to the execution models that support tabling and parallel evaluation.
Ricardo Rocha has published more than 100 peer-reviewed papers in international journals, conferences and workshops, and has supervised over 20 PhD/MSc students. He has served as program committee chair or member in more than 50 scientific events, coordinated the CRACS center at INESC TEC, served as president of the INForum Board, and contributed to the ALP Board as executive committee member and to the ALP Newsletter as area co-editor for the Implementations and Systems track. He has also played a leading role in two national projects: STAMPA and LEAP.