Short Bio:

Luis Lamb is Professor of Foundations of Computer Science and AI,
former Secretary of Innovation, Science and Technology of the State of
Rio Grande do Sul, Brazil (01/2019-01/2022), and     
Vice President of Research (2016-2018) 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-2022) 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 
from the MIT Sloan School of Management.

In government, Lamb led the formulation, development, and
implementation of a four year public program on 
Innovation, Science, and Technology for the 11.5 million
people state of Rio Grande do Sul. Lamb planned, led, and 
managed the State Regional Innovation Program INOVARS, involving
over 100 cities across all regions of the state, based on Smart
Specialization Strategies (EU/OECD), MIT regional innovation approach,
and n-helix approaches from the innovation and development literature.
He also implemented state programs for future technologies with
high potential of economic impact, involving 
university and industry R&D collaboration, 
startups and open innovation,
innovative education, international cooperation among innovation 
ecosystems, premium value-added product certification,
high speed internet for state schools, and 
the new state law for incentives to science, technology, and innovation.
He also chaired the State Council of Science and Technology from 
January 2019 to January 2022. During the pandemic, he chaired 
the state's  data committee (Dec. 2020 to Jan. 2021) 
and the state's 50+ members scientific committee in from March
2020 and to January 2022.

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: Artificial Intelligence, 
NeurosymbolicAI, Trustworwhy AI, Innovation Strategies, and
Digital Transformation.
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 Computing Surveys, 
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 (2021-2025) 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