Alguns Projetos de Pesquisa Científica em andamento/concluídos:

Lógicas Não-Clássicas em Ciência da Computação e Inteligência Artificial: Fundamentos e Aplicações: CNPq, Bolsa de Produtividade em Pesquisa, Nível PQ-1C, 2010-2014.

Edital PRONEX/FAPERGS/CNPq 2010-2013: NESS (Núcleo de Excelência em Engenharia de Software para Sistemas Embarcados) Universidades participantes: UFRGS, UFPel, Unipampa.


LOGIHCOM: Lógicas Condicionais e Modais Híbridas aplicadas à Computação (CNPq - Edital Universal, 2003-2005): finalizado.

PROCOND: Teoria de Provas Rotuladas para Lógicas Condicionais e Aplicações (CNPq- Produtividade em Pesquisa, 2003-2010). Finalizado.

Edital Universal CNPq 2007, com L. Carro e F.R. Wagner.: finalizado.

Edital CNPq 07/2007: Uma metodologia de desenvolvimento de sistemas computacionais à luz da transição do silício para novas tecnologias (com FR Wagner, L. Carro, E. Cota, AF Moreira, L. Ribeiro, CE Pereira) – finalizado.

Minhas publicações selecionadas estão neste link.

Former (Post-)Graduate Students:

Ricardo Matsumura de Araújo (PhD in Computer Science, 12 November 2009: Memetic Networks: Problem-Solving with Social Network Models. Thesis received high honours (Tese aprovada com voto de louvor pela banca examinadora).

Rafael Vergara Borges (co-supervised with Artur d'Avila Garcez: PhD in Computer Science, City University of London, viva on 28 Oct. 2011). A Neural-Symbolic System for Temporal Reasoning with Application to Model Verification and Learning.


Aline Vieira Malanovicz (MSc. Ciência da Computação, PPGC UFRGS)."Definição Inicial de um Sistema de Provas Rotulado para Lógicas do Conhecimento" (defesa em 6 de outubro de 2004). Co-orientador: Dr Tiarajú Diverio. Em doutoramento PPGA-UFRGS


Ricardo Matsumura de Araújo (MSc. Ciência da Computação, PPGC UFRGS). "Aprendizado de Máquina em Sistemas Complexos Multi-agentes: Estudo de Caso em um Ambiente sob Racionalidade Limitada" (defesa em 10 de dezembro de 2004).


Gleison Samuel do Nascimento (MSc. Ciência da Computação, PPGC UFRGS - co-orientação com Dr. Álvaro Moreira): “Identificação de nomes ativos em cálculo pi baseado em tipos” (concluído em 2005). Em doutoramento PPGC-UFRGS


Rafael Vergara Borges (MSc. Ciência da Computação, PPGC-UFRGS. Investigações sobre Raciocínio e Aprendizagem Temporal em Sistemas Conexionistas (concluído em 2007). Concluiu doutorado na City University of London.


Eduardo Horowitz (MSc. Ciência da Computação, PPGC-UFRGS): Estudo sobre Extração de Políticas de Firewall e uma Proposta de Metodologia (concluído em 2007). Atua no setor privado.


Ulisses B. Corrêa, (MSc Ciência da Computação, PPGC-UFRGS 2011): Aplicações de Métricas de Software na Predição de Características Físicas de Software Embarcados (Co-supervision with Dr Luigi Carro). Em doutoramento no PPGC-UFRGS.



Undergraduate Students:

Final Year (Honors) Project:

Augusto Ritter Stoffel: Modelos Computacionais para Números Reais. Láurea acadêmica, BSc Engenharia de Computação. Em doutoramento em Matemática.

Fabiano da Silveira Pinto. Gramática de Formas como Modelo Computacional Teórico. 2010. Trabalho de Conclusão de Curso. BSc em Ciência da Computação.

Iniciação Científica
Artur Bartmann Arns (2003-2004) Métodos Formais para Sistemas Digitais
Leonardo Osório Pelisoli (2004-2005) Métodos Formais para Sistemas Digitais, ênfase em model checking
Ex-alunos no PET Informática PUCRS.


Current Students

PhD Students:
Daniel Scain Farenzena (Social Computing and Human Computation); co-supervised by Ricardo M. Araújo (Federal University of Pelotas)

Marcio Dorn (Protein Tertiary Structure Prediction); co-supervised by Luciana Buriol.

MSc students: Diego Noble (Social Computing and AI).



Sobre supervisão de trabalhos: 

Posso supervisionar trabalhos de graduação ou pós-graduação em temas relacionados aos itens listados abaixo.  Estudantes de pós-graduação devem ter em mente que o objetivo é produzir resultados relevantes em Ciência da Computação.

Contatos podem ser feitos via email  (lamb arroba inf ponto ufrgs ponto br ou LuisLamb at acm dot org).
Nota bene: estudantes interessados em outras áreas de pesquisa relacionadas a estas, mas não explicitamente listadas abaixo, podem entrar em contato para discussões.

  1. Computação Social (Social Networks; Computation in Complex and Social Networks and related topics).

  2. Innovation in Science & Technology.

  3. Lógica aplicada à computação e inteligência artificial.

  4. Inteligência Artificial, incluindo:

    Neural-Symbolic Computation

    Aprendizado de máquina (Machine learning);

    Representação de conhecimento e raciocínio (Knowledge representation and reasoning).

    AI e computação social

    Computação cognitiva

    Tomada de decisões e incerteza em redes e computação social

  5. Modelos de racionalidade limitada (models of bounded rationality)

  6. Modelagem através de teoria de jogos.

  7. Métodos formais/engenharia de software de sistemas de computação embarcados.

  8. Modelos não-clássicos de computação (conexionistas, cognitivos, econômicos, sociais)

  9. Técnicas de Inteligência Artificial em Engenharia de Software (Machine learning, sistemas autônomos).


The following link may be useful for the one looking for a thesis topic... here


Click here to go back to my so-called homepage.