{"id":7,"date":"2007-03-03T22:42:24","date_gmt":"2007-03-04T01:42:24","guid":{"rendered":"http:\/\/www.assis.pro.br\/public_html\/wpassis\/?page_id=7"},"modified":"2023-08-09T22:39:28","modified_gmt":"2023-08-10T01:39:28","slug":"6-curriculo","status":"publish","type":"page","link":"http:\/\/www.assis.pro.br\/public_html\/wpassis\/?page_id=7","title":{"rendered":"4 Curr\u00edculo"},"content":{"rendered":"

Curr\u00edculo Resumido<\/strong><\/p>\n

* Forma\u00e7\u00e3o Acad\u00eamica<\/strong>
\n
\n2019-2023: Doutorado em Ci\u00eancia da Computa\u00e7\u00e3o (Ph.D), Pontif\u00edcia Universidade Cat\u00f3lica do Rio Grande do Sul – PUCRS, Porto Alegre\/Brasil
\nOrientador: Fabiano P. Hessel
\n\u00c1rea de Concentra\u00e7\u00e3o: Federated Learning-based Intrusion Detection in IoT Systems<\/p>\n

1989-1992: Mestrado em Ci\u00eancia da Computa\u00e7\u00e3o (M.Sc.), Universidade Federal do Rio Grande do Sul – UFRGS, Porto Alegre\/Brasil
\nOrientador: Taisy S. Weber
\n\u00c1rea de Concentra\u00e7\u00e3o: CAD para Desenvolvimento de Sistemas Digitais.<\/p>\n

1985-1988: Bacharelado em Ci\u00eancia da Computa\u00e7\u00e3o (B.Sc.), Universidade Federal da Para\u00edba – UFPb, Jo\u00e3o Pessoa\/Brasil
\nOrientador: Ant\u00f4nio C. Cavalcanti
\n\u00c1rea de Concentra\u00e7\u00e3o: Software B\u00e1sico e Instrumenta\u00e7\u00e3o Biom\u00e9dica<\/p>\n

* Experi\u00eancia Acad\u00eamica\/Profissional<\/strong><\/p>\n

Atuais
\nProfessor na FACCAT – Faculdades Integradas de Taquara, Taquara\/RS – Brasil
\nCTO na sec4iot, Porto Alegre\/RS – Brasil<\/p>\n

Anteriores
\n2006-2010: Doutorando em Ci\u00eancia da Computa\u00e7\u00e3o na Universidade Federal do Rio Grande do Sul\/Brasil
\n1994-1998: Doutorando em Engenharia da Computa\u00e7\u00e3o na Universidade de T\u00fcbingen, Alemanha
\n1998: Pesquisador junto ao IBM T.J. Watson Research Center em Yorktown, New York\/USA
\n1992-1993 : Pesquisador Associado junto ao Curso de P\u00f3s-Gradua\u00e7\u00e3o em Ci\u00eancia da Computa\u00e7\u00e3o da Universidade Federal do Rio Grande do Sul
\n1989-1991 : Mestrado em Ci\u00eancia da Computa\u00e7\u00e3o na Universidade Federal do Rio Grande do Sul
\n1988: Analista de Sistemas (Est\u00e1gio) na SA de Eletrifica\u00e7\u00e3o da Para\u00edba, Jo\u00e3o Pessoa\/Brasil
\n1987-1988 : Pesquisador Junior junto ao Curso de Gradua\u00e7\u00e3o em Ci\u00eancia da Computa\u00e7\u00e3o da Universidade Federal da Para\u00edba – Campus I
\n1985-1987 : Monitor em v\u00e1rias disciplinas junto ao Curso de Gradua\u00e7\u00e3o em Ci\u00eancia da Computa\u00e7\u00e3o da Universidade Federal da Para\u00edba – Campus I<\/p>\n

* Atividades de Pesquisa e Desenvolvimento<\/strong><\/p>\n

Atuais
\nAprendizagem de M\u00e1quina para Aplica\u00e7\u00f5es em Internet das Coisas:
\n– Desenvolvimento de uma plataforma de seguran\u00e7a baseada em aprendizagem federada descentralizada (DCD-FL), com implementa\u00e7\u00e3o em Python<\/p>\n

Projeto Automatizado de Hardware\/Software para Sistemas Embarcados:
\n– Desenvolvimento de um Framework para Co-Projeto (MoDES) baseado em modelos, com implementa\u00e7\u00e3o em Java
\n– Defini\u00e7\u00e3o de linguagens, representa\u00e7\u00f5es internas e ferramentas para co-projeto hardware\/software para embarcados<\/p>\n

Anteriores
\nIntegra\u00e7\u00e3o de Sistemas de ERP com Processo de Produ\u00e7\u00e3o de Biodiesel
\n– M\u00f3dulos para integra\u00e7\u00e3o entre ERP\/Processo de produ\u00e7\u00e3o
\n– Simula\u00e7\u00e3o computacional de processos de produ\u00e7\u00e3o<\/p>\n

Tecnologias para Web
\n– Ferramentas para colabora\u00e7\u00e3o via Web
\n– Ferramentas para com\u00e9rcio eletr\u00f4nico<\/p>\n

Modelos para concorr\u00eancia baseado em Ordem Parcial: modelagem de sistemas concorrentes usando Estrutura de Eventos e Espa\u00e7os de Chu
\n– Modelando concorr\u00eancia no n\u00edvel de sistema usando ordem parcial
\n– Definindo representa\u00e7\u00f5es simb\u00f3licas para os modelos<\/p>\n

T\u00e9cnicas de An\u00e1lise de Alcan\u00e7abilidade (Reachability Analysis) para sistemas concorrentes:
\n– Implementa\u00e7\u00e3o das t\u00e9cnicas de alcan\u00e7abilidade usando BDD’s
\n– Implementa\u00e7\u00e3o de t\u00e9cnicas de redu\u00e7\u00f5es do espa\u00e7o de estados baseada em Ordem Parcial<\/p>\n

Co-S\u00edntese de Sistemas Embarcados:
\n– Desenvolvimento de um Framework para Co-S\u00edntese (CSF) e implementa\u00e7\u00e3o usando linguagens C\/C++ em esta\u00e7\u00f5es de trabalho Sun com Solaris
\n– Defini\u00e7\u00e3o de linguagens, representa\u00e7\u00f5es internas e ferramentas para co-s\u00edntese
\n– Implementa\u00e7\u00e3o de compilador da linguagem PROL (Process Language), voltada para o Modelo de concorr\u00eancia baseado em Ordem Parcial (POM)
\n– Implementa\u00e7\u00e3o usando Binary Decision Diagrams (BDD’s) da representa\u00e7\u00e3o interna para o modelo POM e das v\u00e1rias opera\u00e7\u00f5es sobre a representa\u00e7\u00e3o
\n– An\u00e1lise de Performance Baseada em Alcan\u00e7abilidade Simb\u00f3lica (Symbolic Reachability)<\/p>\n

T\u00e9cnicas de Retiming:
\n– Desenvolvimento de algoritmo de escalonamento baseado em retiming e implementa\u00e7\u00e3o usando linguagem C em esta\u00e7\u00f5es de trabalho RS6000 com AIX
\n– Integra\u00e7\u00e3o do algoritmo no High Level Synthesis System (Hiasynth) da IBM\/Yorktown<\/p>\n

Modelagem e S\u00edntese de aplica\u00e7\u00f5es no n\u00edvel de sistema:
\n– Descri\u00e7\u00e3o, simula\u00e7\u00e3o e s\u00edntese 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)
\n– Modelagem em SDL e Estelle do Chaveador ATM Fairisle 4×4
\n– Modelagem e an\u00e1lise de um sistema voltado para RPC (Remote Procedure Call) usando a linguagem PROL<\/p>\n

S\u00edntese de Alto N\u00edvel:
\n– Desenvolvimento de um Sistema de S\u00edntese de Alto N\u00edvel (SANV) e implementa\u00e7\u00e3o usando linguagem C em esta\u00e7\u00f5es de trabalho Sun com SunOS
\n– Implementa\u00e7\u00e3o de um compilador para VHDL, gerando grafos de fluxo de controle e de dados necess\u00e1rios para as ferramentas de s\u00edntese
\n– Implementa\u00e7\u00e3o de escalonamento baseado no algoritmo Force Directed
\n– Implementa\u00e7\u00e3o do algoritmo Left-Edge para aloca\u00e7\u00e3o de registradores
\n– Comportamento em VHDL como entrada e estrutura em VHDL como sa\u00edda<\/p>\n

Verifica\u00e7\u00e3o Formal: M\u00e9todo das Asser\u00e7\u00f5es Indutivas Aplicado na Verifica\u00e7\u00e3o de Descri\u00e7\u00f5es de Comportamento de Sistemas Digitais em VHDL
\n– Sem\u00e2ntica Axiom\u00e1tica para VHDL
\n– M\u00e9todo de Prova Baseado no M\u00e9todo das Asser\u00e7\u00f5es Indutivas<\/p>\n

* Atividades de Ensino<\/strong><\/p>\n

Atuais
\nDisciplinas na gradua\u00e7\u00e3o do Bach. em Sistemas de Informa\u00e7\u00e3o da FACCAT:
\n– Introdu\u00e7\u00e3o \u00e0 Computa\u00e7\u00e3o
\n– Arquitetura de Computadores
\n– Sistemas Distribu\u00eddos
\n– Engenharia de Software
\n– An\u00e1lise de Sistemas II
\n– Avalia\u00e7\u00e3o de Desempenho de Sistemas<\/p>\n

Orienta\u00e7\u00e3o de Trabalhos de Conclus\u00e3o de Gradua\u00e7\u00e3o junto \u00e0 Faculdade de Inform\u00e1tica da FACCAT:
\n– Computa\u00e7\u00e3o de alto de desempenho e de alta disponibilidade
\n– Computa\u00e7\u00e3o Auton\u00f4mica
\n– Desenvolvimento de tecnologias e aplica\u00e7\u00f5es voltadas Web<\/p>\n

Anteriores
\nOrienta\u00e7\u00e3o de Trabalhos de Conclus\u00e3o de Gradua\u00e7\u00e3o junto \u00e0 Faculdade de Inform\u00e1tica da ULBRA:
\n– Programa\u00e7\u00e3o distribu\u00edda usando MPI em cluster Beowulf
\n– Programa\u00e7\u00e3o distribu\u00edda usando CORBA, JavaRMI, MPI e PVM
\n– Desenvolvimento de aplica\u00e7\u00f5es usando a plataforma Java – J2EE<\/p>\n

Orienta\u00e7\u00e3o de Trabalhos de Gradua\u00e7\u00e3o junto ao Curso de Engenharia da Computa\u00e7\u00e3o, Universidade de T\u00fcbingen\/Alemanha:
\n– Compara\u00e7\u00e3o de Chaveadores para Redes ATM (Asynchronous Transfer Mode)
\n– Aplica\u00e7\u00f5es Multim\u00eddia em uma Rede ATM<\/p>\n

Orienta\u00e7\u00e3o de Trabalhos de Pesquisa junto ao Curso de Pos-Gradua\u00e7\u00e3o em Ci\u00eancia da Computa\u00e7\u00e3o, Universidade Federal do Rio Grande do Sul
\n– S\u00edntese de concorr\u00eancia a partir de descri\u00e7\u00f5es em VHDL<\/p>\n

Monitoria junto ao Curso de Bacharelado em Ci\u00eancia da Computa\u00e7\u00e3o, UFPb – Campus I: Inicia\u00e7\u00e3o \u00e0 Computa\u00e7\u00e3o (85.2 e 87.1), Introdu\u00e7\u00e3o ao Computador (86.1 e 87.1) , Introdu\u00e7\u00e3o \u00e0 Programa\u00e7\u00e3o (86.1) e Linguagens de Programa\u00e7\u00e3o (86.2), Circuitos L\u00f3gicos (87.2) e Laborat\u00f3rio de Circuitos L\u00f3gicos (87.2 )<\/p>\n

* Participa\u00e7\u00e3o em Escolas, Congressos e Confer\u00eancias<\/strong>
\nXXXII Brazilian Symposium on Integrated Circuits Design (SBCCI2020), Campinas\/SP, 2020
\nLVII Design Automation Conference (DAC2020), San Francisco\/EUA, 2020
\nXXXV Simp\u00f3sio Sul de Microeletr\u00f4nica (SIM2020), Iju\u00ed\/RS, 2020
\nXXII Escola Regional de Micro-eletr\u00f4nica (EMICRO2020), Iju\u00ed\/RS, 2020
\nIII International Embedded Systems Symposium (IESS2009), Langenargen\/Alemanha, 2009
\nXLVI Design Automation Conference (DAC2009), San Francisco\/EUA, 2009
\nXXI Brazilian Symposium on Integrated Circuits Design (SBCCI2009), Natal\/RN, 2009
\nXXIX Congresso da Sociedade Brasileira de Computa\u00e7\u00e3o, Bento Gon\u00e7alves\/RS, 2009
\nVII International Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES2009), Vancouver\/Canada, 2009
\nIII Latin American Autonomic Computing Symposium (LAACS2008), Gramado\/RS, 2008
\nV International Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES2007), Braga\/Portugal, 2007
\nXVIII Brazilian Symposium on Integrated Circuits Design (SBCCI2006), Ouro Preto\/MG, 2006
\nXV Brazilian Symposium on Integrated Circuits Design (SBCCI2003), S\u00e3o Paulo\/SP, 2003
\nXVIII Simp\u00f3sio Sul de Microeletr\u00f4nica (SIM2003), Novo Hamburgo, 2003
\nII Escola Regional de Processamento de Alto Desempenho (ERAD2002), S\u00e3o Leopoldo\/RS, 2002
\nXIII Brazilian Symposium on Integrated Circuits Design (SBCCI2001), Pirenop\u00f3lis\/GO, 2001
\nV Design, Automation and Test in Europe Conference (DATE 2001), Munich\/Germany, 2001
\nII Escola Regional de Micro-eletr\u00f4nica (EMICRO2000), Torres\/RS, 2000
\nXII Internationaler Workshop “VLSI – Trends und Themen”, S\u00f6lden\/Austria, 1998
\nI Workshop on Design, Test and Applications (WDTA98), Dubrovinik\/Croatia, 1998
\nVI GI\/ITG\/GMM Workshop Methoden des Entwurfs und der Verifikation digitaler Systeme, Paderborn\/Germany, 1998
\nII International Workshop On Conjoint Systems Engineering (CONSYSE97), Bad T\u00f6lz\/Germany, 1997
\nII Brazilian Workshop on Hardware\/Software Codesign, Gramado\/RS, 1997
\nXIII Congresso da Sociedade Brasileira de Computa\u00e7\u00e3o, Florian\u00f3polis\/SC,1993
\nVI Escola Brasil\/Argentina de Inform\u00e1tica (EBAI), Embalse\/Argentina, 1993
\nVIII Escola Brasileira de Computa\u00e7\u00e3o, Gramado\/RS, 1992
\nVII Congresso da Sociedade Brasileira de Microeletr\u00f4nica (SBMICRO), S\u00e3o Paulo\/SP, 1992
\nII Escola Brasileira de Microeletr\u00f4nica, Gramada\/RS, 1992
\nVI Simp\u00f3sio Brasileiro de Concep\u00e7\u00e3o de Circuitos Integrados, Jaguari\u00fana\/SP, 1991
\nV Simp\u00f3sio Brasileiro de Concep\u00e7\u00e3o de Circuitos Integrados, Ouro Preto\/MG,1990
\nX Congresso da Sociedade Brasileira de Computa\u00e7\u00e3o, Vit\u00f3ria\/ES, 1990
\nVII Escola de Brasileira de Computa\u00e7\u00e3o, S\u00e3o Paulo\/SP, 1990
\nXI Congresso Brasileiro de Engenharia Biom\u00e9dica, S\u00e3o Paulo\/SP, 1989
\nIV Escola Brasil\/Argentina de Inform\u00e1tica (EBAI), Termas do Rio Hondo\/Argentina, 1989
\nVIII Congresso da Sociedade Brasileira de Computa\u00e7\u00e3o, Rio de Janeiro\/RJ, 1988
\nVI Escola Brasileira de Computa\u00e7\u00e3o, Campinas\/SP, 1988
\nV Simp\u00f3sio Brasileiro de Intelig\u00eancia Artificial, Uberl\u00e2ndia\/MG, 1987<\/p>\n","protected":false},"excerpt":{"rendered":"

Curr\u00edculo Resumido * Forma\u00e7\u00e3o Acad\u00eamica 2019-2023: Doutorado em Ci\u00eancia da Computa\u00e7\u00e3o (Ph.D), Pontif\u00edcia Universidade Cat\u00f3lica do Rio Grande do Sul – PUCRS, Porto Alegre\/Brasil Orientador: Fabiano P. Hessel \u00c1rea de Concentra\u00e7\u00e3o: Federated Learning-based Intrusion Detection in IoT Systems 1989-1992: Mestrado … Continue reading →<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":6,"comment_status":"open","ping_status":"open","template":"","meta":{"footnotes":""},"class_list":["post-7","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"http:\/\/www.assis.pro.br\/public_html\/wpassis\/index.php?rest_route=\/wp\/v2\/pages\/7","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/www.assis.pro.br\/public_html\/wpassis\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"http:\/\/www.assis.pro.br\/public_html\/wpassis\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"http:\/\/www.assis.pro.br\/public_html\/wpassis\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/www.assis.pro.br\/public_html\/wpassis\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=7"}],"version-history":[{"count":18,"href":"http:\/\/www.assis.pro.br\/public_html\/wpassis\/index.php?rest_route=\/wp\/v2\/pages\/7\/revisions"}],"predecessor-version":[{"id":202,"href":"http:\/\/www.assis.pro.br\/public_html\/wpassis\/index.php?rest_route=\/wp\/v2\/pages\/7\/revisions\/202"}],"wp:attachment":[{"href":"http:\/\/www.assis.pro.br\/public_html\/wpassis\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=7"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}