Short Bio:

Luis Lamb is Professor and Dean (Director) of the Institute of Informatics (2011-2015), 
ex officio (2011-2015) and Elected (2010-2012) Member of the University Council 
at the Federal University of Rio Grande do Sul, Porto Alegre, Brazil.
He was Deputy Dean of the Institute of Informatics at UFRGS from
August 2006 to October 2011.

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 
(Massachusetts Institute of Technology - Sloan School of Management). 

He is 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, 
Neural and Cognitive Computation, 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 co-editor-in-chief of the Revista de Informática Teórica e Aplicada and he is on the editorial board 
of the Logic Journal of the IGPL (Oxford). 
Lamb's research has led to publications in  ACM Transactions on Autonomous and Adaptive Systems, 
Behavioral and Brain Sciences, Theoretical Computer Science, Neural Computation, Journal of Logic 
and Computation, IEEE Transactions on Neural Networks and Learning Systems, Physica A, 
Philosophical Transactions of the Royal Society A: Mathematical, Physical 
and Engineering Sciences, The Journal of Theoretical Biology, and at the flagship Artificial Intelligence and 
Neural Computation conferences AAAI, IJCAI and NIPS. 
His recent research on embedded systems software has led to publications at ICSE-11, ASE2010, and DATE2008. 
He is, or has been, member of the Programme or Organizing Committee of a large number 
of international conferences and workshops on Artificial Intelligence, Neural and Cognitive Computation, 
Logic in Computer Science, Embedded Systems and Formal Methods. 
Lamb holds an Advanced Research Fellowship (2010-2014) 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