Currículo Resumido
* Formação Acadêmica
2019-2023: Doutorado em Ciência da Computação (Ph.D), Pontifícia Universidade Católica do Rio Grande do Sul – PUCRS, Porto Alegre/Brasil
Orientador: Fabiano P. Hessel
Área de Concentração: Federated Learning-based Intrusion Detection in IoT Systems
1989-1992: Mestrado em Ciência da Computação (M.Sc.), Universidade Federal do Rio Grande do Sul – UFRGS, Porto Alegre/Brasil
Orientador: Taisy S. Weber
Área de Concentração: CAD para Desenvolvimento de Sistemas Digitais.
1985-1988: Bacharelado em Ciência da Computação (B.Sc.), Universidade Federal da Paraíba – UFPb, João Pessoa/Brasil
Orientador: Antônio C. Cavalcanti
Área de Concentração: Software Básico e Instrumentação Biomédica
* Experiência Acadêmica/Profissional
Atuais
Professor na FACCAT – Faculdades Integradas de Taquara, Taquara/RS – Brasil
CTO na sec4iot, Porto Alegre/RS – Brasil
Anteriores
2006-2010: Doutorando em Ciência da Computação na Universidade Federal do Rio Grande do Sul/Brasil
1994-1998: Doutorando em Engenharia da Computação na Universidade de Tübingen, Alemanha
1998: Pesquisador junto ao IBM T.J. Watson Research Center em Yorktown, New York/USA
1992-1993 : Pesquisador Associado junto ao Curso de Pós-Graduação em Ciência da Computação da Universidade Federal do Rio Grande do Sul
1989-1991 : Mestrado em Ciência da Computação na Universidade Federal do Rio Grande do Sul
1988: Analista de Sistemas (Estágio) na SA de Eletrificação da Paraíba, João Pessoa/Brasil
1987-1988 : Pesquisador Junior junto ao Curso de Graduação em Ciência da Computação da Universidade Federal da Paraíba – Campus I
1985-1987 : Monitor em várias disciplinas junto ao Curso de Graduação em Ciência da Computação da Universidade Federal da Paraíba – Campus I
* Atividades de Pesquisa e Desenvolvimento
Atuais
Aprendizagem de Máquina para Aplicações em Internet das Coisas:
– Desenvolvimento de uma plataforma de segurança baseada em aprendizagem federada descentralizada (DCD-FL), com implementação em Python
Projeto Automatizado de Hardware/Software para Sistemas Embarcados:
– Desenvolvimento de um Framework para Co-Projeto (MoDES) baseado em modelos, com implementação em Java
– Definição de linguagens, representações internas e ferramentas para co-projeto hardware/software para embarcados
Anteriores
Integração de Sistemas de ERP com Processo de Produção de Biodiesel
– Módulos para integração entre ERP/Processo de produção
– Simulação computacional de processos de produção
Tecnologias para Web
– Ferramentas para colaboração via Web
– Ferramentas para comércio eletrônico
Modelos para concorrência baseado em Ordem Parcial: modelagem de sistemas concorrentes usando Estrutura de Eventos e Espaços de Chu
– Modelando concorrência no nível de sistema usando ordem parcial
– Definindo representações simbólicas para os modelos
Técnicas de Análise de Alcançabilidade (Reachability Analysis) para sistemas concorrentes:
– Implementação das técnicas de alcançabilidade usando BDD’s
– Implementação de técnicas de reduções do espaço de estados baseada em Ordem Parcial
Co-Síntese de Sistemas Embarcados:
– Desenvolvimento de um Framework para Co-Síntese (CSF) e implementação usando linguagens C/C++ em estações de trabalho Sun com Solaris
– Definição de linguagens, representações internas e ferramentas para co-síntese
– Implementação de compilador da linguagem PROL (Process Language), voltada para o Modelo de concorrência baseado em Ordem Parcial (POM)
– Implementação usando Binary Decision Diagrams (BDD’s) da representação interna para o modelo POM e das várias operações sobre a representação
– Análise de Performance Baseada em Alcançabilidade Simbólica (Symbolic Reachability)
Técnicas de Retiming:
– Desenvolvimento de algoritmo de escalonamento baseado em retiming e implementação usando linguagem C em estações de trabalho RS6000 com AIX
– Integração do algoritmo no High Level Synthesis System (Hiasynth) da IBM/Yorktown
Modelagem e Síntese de aplicações no nível de sistema:
– Descrição, simulação e síntese de um Chaveador ATM 4×4 (baseado na Fairisle Switch de Cambridge/England) usando VHDL e o ambiente de projeto da Menthor Graphics (AutoLogic) e da Synopsys (Behavioral Compiler)
– Modelagem em SDL e Estelle do Chaveador ATM Fairisle 4×4
– Modelagem e análise de um sistema voltado para RPC (Remote Procedure Call) usando a linguagem PROL
Síntese de Alto Nível:
– Desenvolvimento de um Sistema de Síntese de Alto Nível (SANV) e implementação usando linguagem C em estações de trabalho Sun com SunOS
– Implementação de um compilador para VHDL, gerando grafos de fluxo de controle e de dados necessários para as ferramentas de síntese
– Implementação de escalonamento baseado no algoritmo Force Directed
– Implementação do algoritmo Left-Edge para alocação de registradores
– Comportamento em VHDL como entrada e estrutura em VHDL como saída
Verificação Formal: Método das Asserções Indutivas Aplicado na Verificação de Descrições de Comportamento de Sistemas Digitais em VHDL
– Semântica Axiomática para VHDL
– Método de Prova Baseado no Método das Asserções Indutivas
* Atividades de Ensino
Atuais
Disciplinas na graduação do Bach. em Sistemas de Informação da FACCAT:
– Introdução à Computação
– Arquitetura de Computadores
– Sistemas Distribuídos
– Engenharia de Software
– Análise de Sistemas II
– Avaliação de Desempenho de Sistemas
Orientação de Trabalhos de Conclusão de Graduação junto à Faculdade de Informática da FACCAT:
– Computação de alto de desempenho e de alta disponibilidade
– Computação Autonômica
– Desenvolvimento de tecnologias e aplicações voltadas Web
Anteriores
Orientação de Trabalhos de Conclusão de Graduação junto à Faculdade de Informática da ULBRA:
– Programação distribuída usando MPI em cluster Beowulf
– Programação distribuída usando CORBA, JavaRMI, MPI e PVM
– Desenvolvimento de aplicações usando a plataforma Java – J2EE
Orientação de Trabalhos de Graduação junto ao Curso de Engenharia da Computação, Universidade de Tübingen/Alemanha:
– Comparação de Chaveadores para Redes ATM (Asynchronous Transfer Mode)
– Aplicações Multimídia em uma Rede ATM
Orientação de Trabalhos de Pesquisa junto ao Curso de Pos-Graduação em Ciência da Computação, Universidade Federal do Rio Grande do Sul
– Síntese de concorrência a partir de descrições em VHDL
Monitoria junto ao Curso de Bacharelado em Ciência da Computação, UFPb – Campus I: Iniciação à Computação (85.2 e 87.1), Introdução ao Computador (86.1 e 87.1) , Introdução à Programação (86.1) e Linguagens de Programação (86.2), Circuitos Lógicos (87.2) e Laboratório de Circuitos Lógicos (87.2 )
* Participação em Escolas, Congressos e Conferências
XXXII Brazilian Symposium on Integrated Circuits Design (SBCCI2020), Campinas/SP, 2020
LVII Design Automation Conference (DAC2020), San Francisco/EUA, 2020
XXXV Simpósio Sul de Microeletrônica (SIM2020), Ijuí/RS, 2020
XXII Escola Regional de Micro-eletrônica (EMICRO2020), Ijuí/RS, 2020
III International Embedded Systems Symposium (IESS2009), Langenargen/Alemanha, 2009
XLVI Design Automation Conference (DAC2009), San Francisco/EUA, 2009
XXI Brazilian Symposium on Integrated Circuits Design (SBCCI2009), Natal/RN, 2009
XXIX Congresso da Sociedade Brasileira de Computação, Bento Gonçalves/RS, 2009
VII International Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES2009), Vancouver/Canada, 2009
III Latin American Autonomic Computing Symposium (LAACS2008), Gramado/RS, 2008
V International Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES2007), Braga/Portugal, 2007
XVIII Brazilian Symposium on Integrated Circuits Design (SBCCI2006), Ouro Preto/MG, 2006
XV Brazilian Symposium on Integrated Circuits Design (SBCCI2003), São Paulo/SP, 2003
XVIII Simpósio Sul de Microeletrônica (SIM2003), Novo Hamburgo, 2003
II Escola Regional de Processamento de Alto Desempenho (ERAD2002), São Leopoldo/RS, 2002
XIII Brazilian Symposium on Integrated Circuits Design (SBCCI2001), Pirenopólis/GO, 2001
V Design, Automation and Test in Europe Conference (DATE 2001), Munich/Germany, 2001
II Escola Regional de Micro-eletrônica (EMICRO2000), Torres/RS, 2000
XII Internationaler Workshop “VLSI – Trends und Themen”, Sölden/Austria, 1998
I Workshop on Design, Test and Applications (WDTA98), Dubrovinik/Croatia, 1998
VI GI/ITG/GMM Workshop Methoden des Entwurfs und der Verifikation digitaler Systeme, Paderborn/Germany, 1998
II International Workshop On Conjoint Systems Engineering (CONSYSE97), Bad Tölz/Germany, 1997
II Brazilian Workshop on Hardware/Software Codesign, Gramado/RS, 1997
XIII Congresso da Sociedade Brasileira de Computação, Florianópolis/SC,1993
VI Escola Brasil/Argentina de Informática (EBAI), Embalse/Argentina, 1993
VIII Escola Brasileira de Computação, Gramado/RS, 1992
VII Congresso da Sociedade Brasileira de Microeletrônica (SBMICRO), São Paulo/SP, 1992
II Escola Brasileira de Microeletrônica, Gramada/RS, 1992
VI Simpósio Brasileiro de Concepção de Circuitos Integrados, Jaguariúna/SP, 1991
V Simpósio Brasileiro de Concepção de Circuitos Integrados, Ouro Preto/MG,1990
X Congresso da Sociedade Brasileira de Computação, Vitória/ES, 1990
VII Escola de Brasileira de Computação, São Paulo/SP, 1990
XI Congresso Brasileiro de Engenharia Biomédica, São Paulo/SP, 1989
IV Escola Brasil/Argentina de Informática (EBAI), Termas do Rio Hondo/Argentina, 1989
VIII Congresso da Sociedade Brasileira de Computação, Rio de Janeiro/RJ, 1988
VI Escola Brasileira de Computação, Campinas/SP, 1988
V Simpósio Brasileiro de Inteligência Artificial, Uberlândia/MG, 1987