Luís C. Lamb: Research Information

Professor and University Vice President for Research (Pro-Rector for Research).

Formerly Dean (Director) and Deputy Dean of the Institute of Informatics, UFRGS

Department of Theoretical Informatics, Institute of Informatics, Federal University of Rio Grande do Sul (UFRGS)
Honorary Visiting Fellow, City University, London
CNPq
(The Brazilian National Research Council) Advanced Research Fellow


Education
PhD in Computer Science, Imperial College London, 2000
DIC (Diploma of the Imperial College), 2000

PhD thesis:
Labelled Proof Theory for Conditional Logic, supervised by Prof Dov M. Gabbay & Dr. Krysia Broda.

MIT Executive Certificate in Strategy and Innovation, Massachusetts Institute of Technology, Sloan School of Management, 2010; MIT Executive Certificate in Management and Leadership, 2014.
MSc in Computer Science (by research) UFRGS, 1995:
A Categorical Approach to Sequential Machines Theory, supervised by Prof. D.M. Claudio.
BSc in Computer Science, UFRGS, 1992
(BSc projects: Parallel Sorting Algorithms: Applications, Complexity Analysis and Design Methodologies, supervised by Dr. T.A. Diverio and The Application of a Functional Programming Language to Interval Mathematics, co-supervised by D.M. Claudio e V.M. Rodrigues)


Recent publications  
I will be happy in sending you a copy of the items listed below. Please email me: LuisLamb @ acm DOT org

Publication Areas: AI: Artificial Intelligence; CC: Cognitive Computation; CM: Computational Modelling; ES: Embedded Systems; KR: Knowledge Representation; LC: Logic and Computation; ML: Machine learning; NCC: Non-Classical Computation; SC: Social and Human Computing; SE: Software engineering; TCS: Theoretical Computer Science;

Books authored (research monographs on a single subject):

·Neural-Symbolic Cognitive Reasoning (A.S. d’Avila Garcez, Luis C. Lamb and Dov M. Gabbay). Springer-Verlag, ISBN 978-3-540-73245-7, 2009. Electronic book also available at Springer site. AI, CC, LC, ML, NCC.

·Compiled Labelled Deductive Systems: A Uniform Presentation of Non-Classical Logics (K. Broda, D. M. Gabbay, Luis C. Lamb, and A. Russo)  ISBN 0863802966 (Research Studies Press, Institute of Physics Publishing,Hertfordshire, England; Philadelphia,PA), 2004. 343+xx pp. LC, AI, TC, KR.

Books edited (including edited conference/workshop proceedings)

(The following two volume set is a Festschrift in honour of D.M. Gabbay's 60th birthday)

Book chapters

Recent Selected Journal and Conference Papers (XXI Century papers)

Extração de Conhecimento e Análise Visual de Redes Sociais. Carla MDS. Freitas, Luciana P. Nedel, Renata Galante, Luís C. Lamb, André S. Spritzer, Sérgio Fujii, José Palazzo M. de Oliveira, Ricardo M. Araújo, Mirella M. Moro. In: SEMISH 2008 - Seminário Integrado de Software e Hardware. XXVIII Congresso da Sociedade Brasileira de Computação. 12-18 Julho, 2008 Belém do Pará, Brasil. AI, ML.

Modelagem de sistemas computacionais complexos: em direção a uma fundamentação científica e aplicações tecnológicas. Luis C. Lamb, Aline Villavicencio, Roberto da Silva, Leila Ribeiro, Luciana Buriol, Marco Idiart. Proc. SEMISH 2007, Seminário Integrado de Software e Hardware, Congresso Nacional da Sociedade Brasileira de Computação, Junho de 2007. TC, NCC, CC

Aprendizado de máquina em sistemas complexos multiagentes: estudo de caso em um ambiente sob racionalidade limitada.  Ricardo M. Araujo e Luis C. Lamb (supervisor). Concurso de Teses e Dissertações em Inteligência Artificial, V Best MSc dissertation/ PhD thesis contest - CTDIA'2006, at XVIII Brazilian Artificial Intelligence Symposium/X Ibero-American Artificial Intelligence Conference, SBIA 2006/IBERAMIA 2006, Ribeirão Preto, Oct. 2006. ML, AI

Sobre tamanhos de memória no Minority Game (About memory sizes in the Minority Game) by Ricardo M. Araújo and Luís C. Lamb. V Encontro Nacional de Inteligência Artificial (ENIA 2005) - "Fifth Brazilian National Meeting on Artificial Intelligence 2005". São Leopoldo, Sociedade Brasileira de Computação, 25-29 July 2005, 10 pages (in Portuguese). ML, AI

Uma Ontologia Temporal para Modelagem de Conhecimento sobre Ordenação de Eventos (A Temporal Ontology for Modelling Event Ordering Knowledge) by Laura Mastella, Mara Abel, Luís C. Lamb, and Luiz F. De Ros. V Encontro Nacional de Inteligência Artificial (ENIA 2005) - "Fifth Brazilian National Meeting on Artificial Intelligence 2005". São Leopoldo, Sociedade Brasileira de Computação, 25-29 July 2005, 10 pages (in Portuguese). AI, KR

José Palazzo M. de Oliveira and Luís C. Lamb. A Revista de Informática Teórica e Aplicada e as Tecnologias de Informação. Revista de Informática Teórica e Aplicada, 11(2):5-8, Dec. 2004. SE

Daltro J. Nunes e Luís C. Lamb. As distorções do Estágio Curricular Obrigatório. Revista T & C Amazônia, vol. II, pp 49-53, 2003 (também publicado no Jornal da Ciência, SPBC, Rio de Janeiro, Parte I: vol. 2326, 23 Jul. 2003. Parte II: vol. 2327, 24 Jul. 2003).


Research Collaborators
Dov M Gabbay (King's College, London) Artur d'Avila Garcez (City University, London) Ricardo Araujo (UFPel) Krysia Broda (Imperial College London) Luciana Buriol(UFRGS) Luigi Carro (UFRGS) Flávio R. Wagner (UFRGS) Marcio Dorn (UFRGS) Leo de Penning (TNO Research, Netherlands) Roberto da Silva (Institute of Physics, UFRGS)


Professional Services


Co-Editor-in-Chief (as of 2004), Revista de Informática Teórica e Aplicada. Editorial board member: Journal of Algorithms in Cognition, Informatics and Logic (Elsevier, 2008-2010). Editorial Board Member, Logic Journal of the IGPL (Algorithms and Neural Networks, 2010--). Editorial Board Member of the Journal of the Brazilian Computer Society (JSBC, 2014--).

Acted as a referee for: Journal of Logic and Computation (Oxford Univ. Press), ACM Transactions on Computational Logic, Science of Computer Programming, Journal of Applied Logic (Elsevier), Logic Journal of the IGPL, Journal of Algorithms in Cognition, Informatics and Logic; Journal of the Brazilian Computer Society, Information Sciences (Elsevier),IEEE Transactions on Knowledge and Data Engineering, IEEE Transactions on Evolutionary Computation, Revista de Informática Teórica e Aplicada, and a large number of international conferences on Logic, Formal Methods, Artificial Intelligence, Software Engineering, and Neural Computation.
Referee of a large number of research proposals: Brazilian National Research Council (CNPq), Several Brazilian Universities, FAPERJ, CAPES - Brazilian Government's Post-Graduate Foundation, and others.


Professional memberships

AAAI (Association for the Advancement of Artificial Intelligence), Menlo Park, CA
ASL (Association for Symbolic Logic), Poughkeepsie NY 
ACM (Association for Computing Machinery), New York NY
City & Guilds College Association, London, UK
American Mathematical Society, Providence RI, USA
IEEE Computer Society
SBC (Brazilian Computing Society), Porto Alegre, RS


Recent Invited Research Visits
City University, Oct 2002; Mar/Apr 2003; Sept. 2003
, Feb/March 2004, August 2004, Oct. 2006, Jan.’07; Jan-Feb’08; Jan-Feb.’09; Feb'10, Oct'11, Nov'12.
King's College, Jan/Feb2002; Oct. 2002; Mar/Apr 2003; Sept. 2003
, Feb/March 2004, August 2004, 2005-2006; Jan-Feb 2007; Feb.’08; Feb’09.
Imperial College, Jan/Feb 2002; Mar/Apr 2003; Sept. 2003, Feb/March 2004.


Erdös Number: 3 (Paul Erdös(0) - Saharon Shelah(1) - Dov Gabbay(2) – Luis Lamb (3))
Mathematics genealogy project entry
AI genealogy project entry
DBLP entry


Back to my so-called homepage