portal da computação    ciência da computação     engenharia de computação     pós-graduação webmail
Corpo Docente PPGC
Adenauer Correa Yamin
[lattes] [adenauer@inf.ufpel.edu.br]

Qualificações:

Doutorado em Ciência da Computação pela Universidade Federal do Rio Grande do Sul (2004)
Mestrado em Ciência da Computação pela Universidade Federal do Rio Grande do Sul (1994)
Graduado em Engenharia Elétrica pela Universidade Católica de Pelotas (1981)Áreas de Interesse:
Computação Pervasiva ou Ubíqua
Computação Consciente do Contexto
Ambientes para Processamento Paralelo e Distribuído
Aline Brum Loreto
[lattes] [aline.loreto@ufpel.edu.br]

Qualificações:

Doutorado em Computação pela Universidade Federal do Rio Grande do Sul (2005)
Mestrado em Matemática Aplicada pela Universidade Federal do Rio Grande do Sul (1999)
Graduada em Matemática Aplicada e Computacional pela Universidade de Santa Cruz do Sul (1997)Áreas de Interesse:
Complexidade
Intervalos
Modelagem matemática e computacional

 

André Rauber Du Bois
[lattes] [dubois@inf.ufpel.edu.br]Qualificações:
Doutorado em Ciência da Computação pela Heriot-Watt University, Escócia (2006)
Mestrado em Ciência da Computação pela Universidade Federal do Rio Grande do Sul (2001)
Graduado em Ciência da Computação pela Universidade Católica de Pelotas (1998)

Áreas de Interesse:
Compiladores
Linguagens de programação
Sistemas Paralelos e Distribuídos
Denis Teixeira Franco
[lattes] [denisfranco@furg.br]

Qualificações:

Doutorado em Eletrônica e Comunicações pela Télécom-ParisTech, Paris, França (2008)
Mestrado em Ciência da Computação pela Universidade Federal do Rio Grande do Sul (2000)
Graduado em Engenharia Elétrica pela Universidade Católica de Pelotas (1993)Áreas de Interesse:
Sistemas digitais
Sistemas microprocessados/embarcados
Tolerância a falhas em sistemas digitais
Arquiteturas computacionais para novas tecnologias (ou Arquiteturas emergentes)
Felipe de Souza Marques (em processo de credenciamento)
[lattes] [felipem@inf.ufpel.edu.br ]Qualificações:
Doutorado em Ciência da Computação pela Universidade Federal do Rio
Grande do Sul (2008)
Mestrado em Ciência da Computação pela Universidade Federal do Rio
Grande do Sul (2003)
Graduado em Ciência da Computação pela Universidade Federal de Pelotas (2000)Áreas de Interesse:
Sintese lógica
Mapeamento tecnológico
Geração e otimização automática de circuitos e redes de transistores
Ferramentas de CAD
Projeto de circuito VLSI

Gerson Geraldo H. Cavalheiro (coordenador)
[website] [lattes] [gerson.cavalheiro@inf.ufpel.edu.br ]Qualificações:
Doutorado em Informatique Systèmes et Communications pelo Institut National Polytechique de Grenoble (1999)
Mestrado em Computação pela Universidade Federal do Rio Grande do Sul (1994)
Graduado em Informática pela Pontifícia Universidade Católica do Rio Grande do Sul (1990)Áreas de Interesse:
Ambientes e linguagens para programação paralela
Computação sustentável
Aplicações do processamento de alto desempenho

Julio Carlos Balzano de Mattos
[lattes] [julius@inf.ufpel.edu.br ]Qualificações:
Doutorado em Ciência da Computação pela Universidade Federal do Rio Grande do Sul (2007)
Mestrado em Ciência da Computação pela Universidade Federal do Rio Grande do Sul (2000)
Graduado em Informática pela Universidade Federal de Pelotas (1997)Áreas de Interesse:
Sistemas Embarcados
Software Para Sistemas Embarcados
Projeto de Sistemas Digitais com FPGAs
Prototipação Rápida de Sistemas

Leomar Soares da Rosa Jr.
[lattes] [leomarjr@inf.ufpel.edu.br]Qualificações:
Doutorado em Microeletrônica pela Universidade Federal do Rio Grande do Sul (2008)
Mestrado em Ciência da Computação pela Universidade Federal do Rio Grande do Sul (2004)
Graduado em Ciência da Computação pela Universidade Federal de Pelotas (2001)Áreas de Interesse:
Sintese lógica
Ferramentas de CAD
Mapeamento tecnológico
Geração e otimização automática de circuitos e redes de transistores.

Lisane Brisolara de Brisolara
[lattes] [lisane@inf.ufpel.edu.br]Qualificações:
Doutorado em Ciência da Computação pela Universidade Federal do Rio Grande do Sul (2007)
Mestrado em Ciência da Computação pela Universidade Federal do Rio Grande do Sul (2002)
Graduada em Ciência da Computação pela Universidade Católica de Pelotas (1999)Áreas de Interesse:
Sistemas Embarcados
Software Embarcado
Engenharia de Software
Arquitetura de Sistemas de Computação
Mircroeletrônica
Ferramentas de CAD

Luciana Foss
[lattes] [lfoss@inf.ufpel.edu.br]Qualificações:
Doutorado em Ciência da Computação pela Universidade Federal do Rio Grande do Sul (2008)
Mestrado em Ciência da Computação pela Universidade Federal do Rio Grande do Sul (2003)
Graduada em Ciência da Computação pela Universidade de Caxias do Sul (2000)Áreas de Interesse:
Semântica formal
Especificação e verificação formal
Linguagens formais
Transformações de modelos

Luciano Volcan Agostini
[website] [lattes] [agostini@inf.ufpel.edu.br]Qualificações:
Doutorado em Ciência da Computação pela Universidade Federal do Rio Grande do Sul (2007)
Mestrado em Ciência da Computação pela Universidade Federal do Rio Grande do Sul (2002)
Graduado em Informática pela Universidade Federal de Pelotas (1998)Áreas de Interesse:
Projeto de hardware para compressão de imagens e vídeos
Desenvolvimento de algoritmos para compressão de imagens e vídeos
Projeto de hardware em FPGA
Desenvolvimento de componentes para sistemas de televisão digital

Maurício Lima Pilla
[website] [lattes] [pilla@inf.ufpel.edu.br]Qualificações:
Doutorado em Ciência da Computação pela Universidade Federal do Rio Grande do Sul (2004)
Graduado em Ciência da Computação pela Universidade Federal do Rio Grande do Sul (1999)Áreas de Interesse:
Arquiteturas de Computadores
Processamento Paralelo
Processamento Distribuído
Computação Pervasiva

Marilton Sanchotene de Aguiar
[website] [lattes] [marilton@inf.ufpel.edu.br]Qualificações:
Doutorado em Ciência da Computação pela Universidade Federal do Rio Grande do Sul (2004)
Mestrado em Ciência da Computação pela Universidade Federal do Rio Grande do Sul (1998)
Graduado em Ciência da Computação pela Universidade Católica de Pelotas (1995)Áreas de Interesse:
Sistemas inteligentes
Processamento de imagens
Soft-computing aplicados aos problemas do meio-ambiente e da medicina

Paulo Roberto Ferreira Jr.
[lattes] [paulo.ferreira@inf.ufpel.edu.br ]Qualificações:
Doutorado em Ciência da Computação pela Universidade Federal do Rio Grande do Sul (2008)
Mestrado em Ciência da Computação pela Universidade Estadual de Campinas (2000)
Graduado em Informática pela Universidade Federal de Pelotas (1997)Áreas de Interesse:
Sistemas Multiagentes
Inteligência de Enxames
Algoritmos Aproximativos

Renata Reiser
[lattes] [reiser@inf.ufpel.edu.br]

Qualificações:
Doutorado em Ciência da Computação pela Universidade Federal do Rio Grande do Sul (2002)
Mestrado em Ciência da Computação pela Universidade Federal do Rio Grande do Sul (1997)
Graduada em Matemática – Licenciatura Plena pela Universidade Católica de Pelotas (1981)Áreas de Interesse:
Modelos Computacionais Paralelos e Distribuídos
Matemática Intervalar
Computação Quântica
Lógica Fuzzy
Teoria dos Domínios
Ricardo Matsumura Araujo
[website] [lattes] [ricardo@inf.ufpel.edu.br]Qualificações:
Doutorado em Ciência da Computação pela Universidade Federal do Rio Grande do Sul (2009)
Mestrado em Ciência da Computação pela Universidade Federal do Rio Grande do Sul (2004)
Graduado em Engenharia de Computação pela Fundação Universidade Federal do Rio Grande (2002)Áreas de Interesse:
Aprendizado de Máquina
Computação Humana
Computação Social

Simone André da Costa Cavalheiro
[lattes] [simone.costa@inf.ufpel.edu.br]Qualificações:
Doutorado em Ciência da Computação pela Universidade Federal do Rio Grande do Sul (2010)
Mestrado em Ciência da Computação pela Universidade Federal do Rio Grande do Sul (2000)
Graduada em Engenharia Civil pela Universidade Católica de Pelotas (1998)
Graduada em Licenciatura em Matemática pela Universidade Federal de Pelotas (1998)Áreas de Interesse:
Especificação e verificação formal
Lógica
Modelos de Computação

CDTec UFPel
Find us on Google+