Short Bio:

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 has also been Deputy Dean of the Institute of Informatics at UFRGS.

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 
(Massachusetts Institute of Technology - 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.

Back to my homepage