#CILAC18 has ended
avatar for Luis da Cunha Lamb

Luis da Cunha Lamb

Pró-reitor de Pesquisa de la Universidade Federal do Rio Grande do Sul (UFRGS)
Luis Lamb is Professor and Vice President for Research (Pro-Rector for
Research) at the Federal University of Rio Grande do Sul, Porto Alegre,
Brazil. He was Dean (Director) of the Institute of Informatics
(2011-2016), ex officio (2011-2016) and Elected Member (2010-2012;
2018-2020) of the University Council at the Federal University of Rio
Grande do Sul.
He holds both the Ph.D. in Computing Science from the Imperial College
London (2000) and the Diploma of the Imperial College (D.I.C.) (2000),
MSc by research (1995) and BSc in Computer Science (1992)
from the Federal University of Rio Grande do Sul, Brazil.
In 2010 he received the MIT Executive Certificate in Strategy and
Innovation and in 2014 he received the Executive Certificate in
Management and Leadership (MIT - Sloan School of Management).

He has been Honorary Visiting Fellow at the
Department of Computing, City University London
and Visiting Research Fellow, Abductive Systems Group,
Department of Philosophy, University of British Columbia,
Canada (group led by John Woods).

His research interests include:
Logic in Computer Science and Artificial Intelligence,
Machine Learning and Reasoning; Social Computing
and Computing in the Physical and Social Sciences.
Lamb has co-authored two research monographs:
Neural-Symbolic Cognitive Reasoning, with
d'Avila Garcez and Gabbay (Springer 2009) and
Compiled Labelled Deductive Systems, with Broda,
Gabbay and Russo (IoP 2004).
He is an Editorial Board Member of the Cognitive Technologies Book
Series (SpringerNature), and he is on the editorial board of the Logic
Journal of the IGPL (Oxford) and the Journal of the Brazilian Computer
Society (Springer). He is, or has been, member of the Programme or
Organizing Committee of a large number of international conferences and
workshops on Artificial Intelligence, Cognitive and Social Computing,
Logic in Computer Science, Embedded Systems and Formal Methods.

Lamb's research has led to publications in ACM Transactions on
Autonomous and Adaptive Systems, Theoretical Computer Science, Neural
Computation, Journal of Logic and Computation,
IEEE Transactions on Neural Networks, European Journal of Operational
Research, Physica A, Philosophical Transactions of the Royal Society A,
The Journal of Theoretical Biology, and at the flagship Artificial
Intelligence and Neural Computation conferences AAAI, IJCAI, NIPS,
HCOMP.  He was co-organizer of the Dagstuhl Seminar 14381:
Neural-Symbolic Learning and Reasoning in September 2014
and of the Dagstuhl Seminar 17192:
Human-Like Neural-Symbolic Computing in May 2017.

Lamb holds an Advanced Research Fellowship (2017-2021)
from the Brazilian National Research Council CNPq.
He is a professional member of the ACM, ACM SIGACT, AAAI, AMS, ASL,
IEEE, C&GCA, and the Brazilian Computer Society.