{"id":3882,"date":"2020-11-05T09:13:18","date_gmt":"2020-11-05T12:13:18","guid":{"rendered":"http:\/\/www.inf.ufrgs.br\/ppgc\/?page_id=3882"},"modified":"2023-06-15T17:59:21","modified_gmt":"2023-06-15T20:59:21","slug":"rascunho-linhas-de-pesquisa","status":"publish","type":"page","link":"https:\/\/www.inf.ufrgs.br\/ppgc\/rascunho-linhas-de-pesquisa\/","title":{"rendered":"Rascunho &#8211; linhas de pesquisa"},"content":{"rendered":"<p>Para oferecer ao candidato uma vis\u00e3o melhor da estrutura de pesquisa no PPGC, segue abaixo uma descri\u00e7\u00e3o das \u00e1reas de concentra\u00e7\u00e3o e linhas de pesquisa e os nomes dos pesquisadores a elas vinculados.<\/p>\n<h3><strong>\u00c1reas de Concentra\u00e7\u00e3o:<\/strong><\/h3>\n<ul>\n<li><a href=\"#computacao-visual\">Computa\u00e7\u00e3o Visual<\/a>\n<ul>\n<li><a href=\"#cg-visualizacao-dados\">Computa\u00e7\u00e3o Gr\u00e1fica e Visualiza\u00e7\u00e3o de Dados<\/a><\/li>\n<li><a href=\"#processamento-visao-computacional\">Processamento de Imagens, Vis\u00e3o Computacional e Reconhecimento de Padr\u00f5es<\/a><\/li>\n<li><a href=\"#interacao-humano-computador\">Intera\u00e7\u00e3o Humano-Computador, Realidade Virtual e Aumentada<\/a><\/li>\n<\/ul>\n<\/li>\n<li><a href=\"#ciencia-dados-engenharia-de-software\">Ci\u00eancia de Dados e Engenharia de Software<\/a>\n<ul>\n<li><a href=\"#engenharia-de-software\">Engenharia de Software<\/a><\/li>\n<li><a href=\"#mineracao_analise_dados\">Minera\u00e7\u00e3o, Integra\u00e7\u00e3o e An\u00e1lise de Dados<\/a><\/li>\n<li><a href=\"#modelagem-de-dados\">Modelagem de Dados e Processos de Neg\u00f3cio<\/a><\/li>\n<\/ul>\n<\/li>\n<li><a href=\"#projeto-sistemas-eletronicos\">Projeto de Sistemas Eletr\u00f4nicos e Computacionais<\/a>\n<ul>\n<li><a href=\"#concepcao-circuitos-si\">Concep\u00e7\u00e3o de Circuitos e Sistemas Integrados<\/a><\/li>\n<li><a href=\"#ferramentas-automacao-proj\">Ferramentas para Automa\u00e7\u00e3o de Projeto Eletr\u00f4nico<\/a><\/li>\n<li><a href=\"#confiabilidade-tolerancia\">Confiabilidade e Toler\u00e2ncia a Falhas<\/a><\/li>\n<\/ul>\n<\/li>\n<li><a href=\"#sistemas-de-computacao\">Sistemas de Computa\u00e7\u00e3o<\/a>\n<ul>\n<li><a href=\"#computacao-alto-desemp\">Computa\u00e7\u00e3o de Alto Desempenho e Sistemas Distribu\u00eddos<\/a><\/li>\n<li><a href=\"#arquiteturas-nao-convencionais\">Arquiteturas N\u00e3o Convencionais<\/a><\/li>\n<li><a href=\"#sistemas-embarcados\">Sistemas Embarcados<\/a><\/li>\n<\/ul>\n<\/li>\n<li><a href=\"#teoria-da-computacao\">Teoria da Computa\u00e7\u00e3o<\/a>\n<ul>\n<li><a href=\"#algoritmos-otimizacao\">Algoritmos e Otimiza\u00e7\u00e3o<\/a><\/li>\n<li><a href=\"#logica-modelos\">L\u00f3gica e Modelos de Computa\u00e7\u00e3o<\/a><\/li>\n<\/ul>\n<\/li>\n<li><a href=\"#inteligencia-artificial\">Intelig\u00eancia Artificial<\/a>\n<ul>\n<li><a href=\"#aprendizado-representacao\">Aprendizado de M\u00e1quina, Representa\u00e7\u00e3o de Conhecimento e Racioc\u00ednio<\/a><\/li>\n<li><a href=\"#planejamento-robotica\">Planejamento, Sistemas Multiagentes e Rob\u00f3tica<\/a><\/li>\n<\/ul>\n<\/li>\n<li><a href=\"#redes-de-computadores\">Redes de Computadores<\/a>\n<ul>\n<li><a href=\"#arquiteturas-protocolos-redes\">Arquiteturas, Protocolos e Ger\u00eancia de Redes e Servi\u00e7os<\/a><\/li>\n<li><a href=\"#seguranca-cibernetica\">Seguran\u00e7a Cibern\u00e9tica<\/a><\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<hr \/>\n<p><strong id=\"computacao-visual\">\u00c1rea de Concentra\u00e7\u00e3o:<\/strong> Computa\u00e7\u00e3o Visual<br \/>\n<strong id=\"cg-visualizacao-dados\">Linha de Pesquisa:<\/strong> Computa\u00e7\u00e3o Gr\u00e1fica e Visualiza\u00e7\u00e3o de Dados<\/p>\n<p><strong>Integrantes:<\/strong><\/p>\n<ul>\n<li>Anderson Maciel<\/li>\n<li>Carla Maria Dal Sasso Freitas<\/li>\n<li>Eduardo Sim\u00f5es Lopes Gastal<\/li>\n<li>Jo\u00e3o Luiz Dihl Comba<\/li>\n<li>Luciana Porcher Nedel<\/li>\n<li>Manuel Menezes de Oliveira Neto<\/li>\n<li>Marcelo Walter<\/li>\n<\/ul>\n<p style=\"text-align: justify;\"><strong>Descri\u00e7\u00e3o: <\/strong>A pesquisa em Computa\u00e7\u00e3o Gr\u00e1fica \u00e9 voltada ao desenvolvimento de t\u00e9cnicas para s\u00edntese de imagens, modelagem geom\u00e9trica e estruturas de dados espaciais, as quais s\u00e3o utilizadas em diversas aplica\u00e7\u00f5es. Isto inclui modelagem e rendering de objetos complexos e naturais, s\u00edntese de texturas, rendering foto-real\u00edstico, jogos e entretenimento digital, anima\u00e7\u00e3o, simula\u00e7\u00e3o baseada em f\u00edsica, deforma\u00e7\u00e3o de objetos, estruturas de dados espaciais, algoritmos geom\u00e9tricos e aplica\u00e7\u00f5es na Ind\u00fastria Criativa. A pesquisa em Visualiza\u00e7\u00e3o de Dados abrange o desenvolvimento de t\u00e9cnicas de visualiza\u00e7\u00e3o de informa\u00e7\u00f5es e dados cient\u00edficos, visando a solu\u00e7\u00e3o de problemas envolvendo dados complexos e\/ou em grandes volumes. Os estudos envolvem dados de naturezas diversas: categ\u00f3ricos, quantitativos, temporais e espaciais, por exemplo. S\u00e3o desenvolvidas t\u00e9cnicas interativas convencionais (2D e 3D), t\u00e9cnicas imersivas, em colabora\u00e7\u00e3o com a linha de Intera\u00e7\u00e3o Humano-Computador, Realidade Virtual e Aumentada, e avalia\u00e7\u00e3o de t\u00e9cnicas de visualiza\u00e7\u00e3o interativa. T\u00e9cnicas de visual analytics s\u00e3o tamb\u00e9m abordadas, na intersec\u00e7\u00e3o com a linha de Minera\u00e7\u00e3o, Integra\u00e7\u00e3o e An\u00e1lise de Dados.<\/p>\n<p><strong>Temas de Pesquisa:<\/strong><\/p>\n<ul>\n<li><strong>Modelagem de Fen\u00f4menos Naturais<\/strong>: t\u00e9cnicas para modelagem, simula\u00e7\u00e3o e visualiza\u00e7\u00e3o de fen\u00f4menos naturais, s\u00edntese de texturas bio-inspiradas, e s\u00edntese de imagens para cirurgias virtuais;<\/li>\n<li><strong>S\u00edntese de Imagens<\/strong>: t\u00e9cnicas para s\u00edntese de imagens fotoreal\u00edsticas e n\u00e3o-fotoreal\u00edsticas, representa\u00e7\u00e3o de caracter\u00edsticas de objetos utilizando texturas, e re-ilumina\u00e7\u00e3o interativa de imagens;<\/li>\n<li><strong>Jogos e Entretenimento Digital:<\/strong> t\u00e9cnicas para renderiza\u00e7\u00e3o de objetos em tempo real, tratamento de visibilidade e transpar\u00eancia, e planejamento de caminhos;<\/li>\n<li><strong>Anima\u00e7\u00e3o e Simula\u00e7\u00e3o<\/strong>: t\u00e9cnicas de anima\u00e7\u00e3o baseada em f\u00edsica, simula\u00e7\u00e3o e anima\u00e7\u00e3o de fluidos, deforma\u00e7\u00e3o de tecidos;<\/li>\n<li><strong>Visualiza\u00e7\u00e3o de Dados<\/strong>: t\u00e9cnicas para visualiza\u00e7\u00e3o interativa de dados espa\u00e7o-temporais, dados multidimensionais, imagens confocais, visualiza\u00e7\u00e3o imersiva, visualiza\u00e7\u00e3o de grandes volumes de dados (big data) em tempo real, e visualiza\u00e7\u00e3o de eventos espa\u00e7o-temporais.<\/li>\n<\/ul>\n<hr \/>\n<p><strong>\u00c1rea de Concentra\u00e7\u00e3o:<\/strong> Computa\u00e7\u00e3o Visual<br \/>\n<strong id=\"processamento-visao-computacional\">Linha de Pesquisa:<\/strong> Processamento de Imagens, Vis\u00e3o Computacional e Reconhecimento de Padr\u00f5es<\/p>\n<p><strong>Integrantes:<\/strong><\/p>\n<ul>\n<li>Cl\u00e1udio Rosito Jung<\/li>\n<li>Eduardo Sim\u00f5es Lopes Gastal<\/li>\n<li>Jacob <span lang=\"EN\"> Scharcanski<\/span><\/li>\n<li>Manuel Menezes de Oliveira Neto<\/li>\n<li>Renan de Queiroz Maffei<\/li>\n<\/ul>\n<p><strong>Descri\u00e7\u00e3o: <\/strong>A pesquisa em Processamento de Imagens, Vis\u00e3o Computacional e Reconhecimento de Padr\u00f5es \u00e9 voltada para o processamento da informa\u00e7\u00e3o visual com base na an\u00e1lise de imagens, v\u00eddeos e dados multimodais (e.g. dados audiovisuais) originados de fontes diversas. O principal objetivo \u00e9 desenvolver algoritmos que realizam tarefas relevantes envolvendo desde a manipula\u00e7\u00e3o de imagens e v\u00eddeos (filtragem, realce, segmenta\u00e7\u00e3o, an\u00e1lise de autenticidade, composi\u00e7\u00e3o, redimensionamento, etc.), entendimento de cenas (reconhecimento e extra\u00e7\u00e3o de objetos 2D\/3D, rastreamento e an\u00e1lise do comportamento humano, ve\u00edculos inteligentes, etc.) e aplica\u00e7\u00f5es diversas (\u00e1rea m\u00e9dica, fotografia computacional, desenvolvimento de novos dispositivos para avalia\u00e7\u00e3o da qualidade visual, etc.).<\/p>\n<p><strong>Temas de Pesquisa:<\/strong><\/p>\n<ul>\n<li><strong>Manipula\u00e7\u00e3o de Imagens e v\u00eddeos<\/strong>: desenvolver t\u00e9cnicas eficientes para filtragem, realce, segmenta\u00e7\u00e3o, detec\u00e7\u00e3o de padr\u00f5es, verifica\u00e7\u00e3o de autenticidade, composi\u00e7\u00e3o e redimensionamento de imagens e v\u00eddeos;<\/li>\n<li><strong>Reconstru\u00e7\u00e3o 3D<\/strong>: inferir e extrair informa\u00e7\u00e3o 3D com base em uma ou mais vistas da mesma cena obtidas por meio de sensores como c\u00e2meras RGB, RGB-D, scanners 3D, e\/ou an\u00e1lise multimodal com arranjos de microfones;<\/li>\n<li><strong>An\u00e1lise de cenas<\/strong>: interpretar semanticamente imagens e v\u00eddeos, com aplica\u00e7\u00e3o em categoriza\u00e7\u00e3o de objetos, reconhecimento de atividade humana, sistemas de apoio ao motorista e ve\u00edculos aut\u00f4nomos;<\/li>\n<li><strong>Aplica\u00e7\u00f5es M\u00e9dicas<\/strong>: desenvolver t\u00e9cnicas para aux\u00edlio a diagn\u00f3sticos a partir da an\u00e1lise de diversas modalidades de imagens m\u00e9dicas, apoio \u00e0 pesquisa b\u00e1sica em sa\u00fade, e sumariza\u00e7\u00e3o de v\u00eddeos;<\/li>\n<li><strong>Fotografia Computacional<\/strong>: desenvolver algoritmos e acess\u00f3rios que possibilitem ampliar as funcionalidades e experi\u00eancias com imagens e v\u00eddeos para al\u00e9m do que pode ser obtido com o uso convencional de c\u00e2meras e algoritmos de processamento de imagens;<\/li>\n<li><strong>Reconhecimento de Padr\u00f5es<\/strong>: desenvolver t\u00e9cnicas para reconhecimento de padr\u00f5es em imagens e v\u00eddeos considerando t\u00e9cnicas de processamento de imagens, teoria probabil\u00edstica cl\u00e1ssica, e aprendizagem de m\u00e1quina;<\/li>\n<li><strong>Avalia\u00e7\u00e3o da Qualidade Visual<\/strong>: desenvolver prot\u00f3tipos de dispositivos m\u00f3veis e de baixo custo para avalia\u00e7\u00e3o da qualidade visual de pessoas.<\/li>\n<\/ul>\n<hr \/>\n<p><strong>\u00c1rea de Concentra\u00e7\u00e3o:<\/strong> Computa\u00e7\u00e3o Visual<br \/>\n<strong id=\"interacao-humano-computador\">Linha de Pesquisa:<\/strong> Intera\u00e7\u00e3o Humano-Computador, Realidade Virtual e Aumentada<\/p>\n<p><strong>Integrantes:<\/strong><\/p>\n<ul>\n<li>Anderson Maciel<\/li>\n<li>Carla Maria Dal Sasso Freitas<\/li>\n<li>Luciana Porcher Nedel<\/li>\n<li>Marcelo Soares Pimenta<\/li>\n<\/ul>\n<p><strong>Descri\u00e7\u00e3o: <\/strong>A pesquisa nas \u00e1reas de intera\u00e7\u00e3o humano-computador, realidade virtual e aumentada envolvem primariamente a proposta e avalia\u00e7\u00e3o de novas t\u00e9cnicas de intera\u00e7\u00e3o. As pesquisas nesta \u00e1rea incluem a explora\u00e7\u00e3o de t\u00e9cnicas de intera\u00e7\u00e3o aplicadas a ambientes virtuais 3D e a situa\u00e7\u00f5es espec\u00edficas como acessibilidade (proposta de solu\u00e7\u00f5es interativas para pessoas com necessidades especiais), intera\u00e7\u00e3o h\u00e1ptica, intera\u00e7\u00e3o usando dispositivos m\u00f3veis, intera\u00e7\u00e3o aplicada \u00e0 m\u00fasica, etc. S\u00e3o tamb\u00e9m temas de pesquisa: a proposta de novos dispositivos de intera\u00e7\u00e3o em realidade virtual, o estudo do efeito da realidade virtual e aumentada em aplica\u00e7\u00f5es de treinamento e ensino (simuladores imersivos), a proposta de novas linguagens interativas, a avalia\u00e7\u00e3o dos efeitos do uso de realidade virtual imersiva no comportamento dos usu\u00e1rios, entre outros. A pesquisa na \u00e1rea de IHC envolve ainda temas em comum com outras sub-\u00e1reas. T\u00e9cnicas de anima\u00e7\u00e3o em tempo real s\u00e3o contribui\u00e7\u00f5es importantes para a obten\u00e7\u00e3o de cenas realistas em realidade virtual, ao passo que o uso de realidade virtual associado \u00e0s pesquisas em visualiza\u00e7\u00e3o de informa\u00e7\u00f5es constitui uma nova \u00e1rea de pesquisa denominada visualiza\u00e7\u00e3o imersiva<\/p>\n<p><strong>Temas de Pesquisa:<\/strong><\/p>\n<ul>\n<li><strong>Interfaces baseadas em dispositivos m\u00f3veis<\/strong>: estudo do uso de dispositivos m\u00f3veis e seus sensores na proposta de novas t\u00e9cnicas de intera\u00e7\u00e3o 3D;<\/li>\n<li><strong>Intera\u00e7\u00e3o h\u00e1ptica<\/strong>: intera\u00e7\u00e3o atrav\u00e9s do tato, retorno de for\u00e7a ou vibrot\u00e1til como complemento \u00e0 intera\u00e7\u00e3o em ambientes virtuais 3D ou como suporte a portadores de necessidades especiais;<\/li>\n<li><strong>Estudo de percep\u00e7\u00e3o e presen\u00e7a em ambientes virtuais:<\/strong> estudo dos efeitos negativos e positivos do uso de realidade virtual e t\u00e9cnicas de intera\u00e7\u00e3o 3D na execu\u00e7\u00e3o de tarefas realizadas em ambientes imersivos;<\/li>\n<li><strong>Aplica\u00e7\u00f5es de realidade virtual e aumentada<\/strong>: estudo do uso e impacto da realidade virtual e aumentada em tarefas diversas, envolvendo tipicamente o desenvolvimento de simuladores e jogos;<\/li>\n<li><strong>Visualiza\u00e7\u00e3o imersiva<\/strong>: t\u00e9cnicas imersivas para visualiza\u00e7\u00e3o de informa\u00e7\u00f5es, envolvendo visualiza\u00e7\u00e3o de dados em realidade virtual atrav\u00e9s do uso de head-mounted displays e intera\u00e7\u00e3o 3D natural, visualiza\u00e7\u00e3o imersiva em realidade aumentada, envolvendo a inser\u00e7\u00e3o de visualiza\u00e7\u00f5es em cenas reais.<\/li>\n<\/ul>\n<hr \/>\n<p><strong id=\"ciencia-dados-engenharia-de-software\">\u00c1rea de Concentra\u00e7\u00e3o:<\/strong> Ci\u00eancia de Dados e Engenharia de Software<br \/>\n<strong id=\"engenharia-de-software\">Linha de Pesquisa:<\/strong> Engenharia de Software<\/p>\n<p><strong>Integrantes:<\/strong><\/p>\n<ul>\n<li>Erika Fernandes Cota<\/li>\n<li>Ingrid Oliveira de Nunes<\/li>\n<li>Karin Becker<\/li>\n<li>Leila Ribeiro<\/li>\n<li>Lucineia Heloisa Thom<\/li>\n<li>Lucio Mauro Duarte<\/li>\n<li>Marcelo Soares Pimenta<\/li>\n<\/ul>\n<p><strong>Descri\u00e7\u00e3o: <\/strong>Sistemas de Software hoje t\u00eam um papel fundamental na sociedade, sendo utilizados e automatizando tarefas nos mais diversos dom\u00ednios. Eles t\u00eam se tornado cada vez maiores, envolvendo milh\u00f5es de linhas de c\u00f3digo e grandes equipes de desenvolvimento possivelmente geograficamente distribu\u00eddas. Para que a constru\u00e7\u00e3o e evolu\u00e7\u00e3o destes sistemas de software sejam vi\u00e1veis na pr\u00e1tica, \u00e9 essencial que se adote &#8220;uma abordagem sistem\u00e1tica, disciplinada e quantificada para o desenvolvimento, opera\u00e7\u00e3o e manuten\u00e7\u00e3o de software&#8221;, sendo isto a Engenharia de Software. O grupo de pesquisadores que atuam nesta linha possuem publica\u00e7\u00f5es recentes em diversos peri\u00f3dicos e confer\u00eancias da \u00e1rea, tais como IEEE Transactions on Software Engineering, Software Practice &amp; Experience, ICSE, MSR, SEAMS, FASE, SBES e SBMF. No PPGC, pesquisadores da linha de Engenharia de Software atuam nos seguintes temas.<\/p>\n<p><strong>Temas de Pesquisa:<\/strong><\/p>\n<ul>\n<li>Projeto, Implementa\u00e7\u00e3o e Evolu\u00e7\u00e3o de Software;<\/li>\n<li>M\u00e9todos \u00c1geis;<\/li>\n<li>Minera\u00e7\u00e3o de Reposit\u00f3rios e Artefatos de Software;<\/li>\n<li>Sistemas Auto-Adaptativos;<\/li>\n<li>Verifica\u00e7\u00e3o, Valida\u00e7\u00e3o e Teste;<\/li>\n<li>M\u00e9todos Formais;<\/li>\n<li>Engenharia de Software Experimental.<\/li>\n<\/ul>\n<hr \/>\n<p><strong>\u00c1rea de Concentra\u00e7\u00e3o:<\/strong> Ci\u00eancia de Dados e Engenharia de Software<br \/>\n<strong id=\"mineracao_analise_dados\">Linha de Pesquisa:<\/strong> Minera\u00e7\u00e3o, Integra\u00e7\u00e3o e An\u00e1lise de Dados<\/p>\n<p><strong>Integrantes:<\/strong><\/p>\n<ul>\n<li>Ana Lucia Cetertich Bazzan<\/li>\n<li>Joao Luiz Dihl Comba<\/li>\n<li>Joel Luis Carbonera<\/li>\n<li>Karin Becker<\/li>\n<li>Leandro Krug Wives<\/li>\n<li>Lucas Mello Schnorr<\/li>\n<li>Mara Abel<\/li>\n<li>Renata De Matos Galante<\/li>\n<li>Viviane Pereira Moreira<\/li>\n<\/ul>\n<p><strong>Descri\u00e7\u00e3o: <\/strong>Esta linha investiga t\u00e9cnicas, m\u00e9todos e ferramentas que permitam a extrair valor agregado de grandes volumes de dados bruto dispon\u00edveis em diversas fontes e de v\u00e1rios formatos. A linha desenvolve pesquisas voltadas: i) ao desenvolvimento de t\u00e9cnicas, m\u00e9todos e ferramentas de extra\u00e7\u00e3o de conhecimento a partir de grandes volumes de dados; ii) desenvolvimento de aplica\u00e7\u00f5es de integra\u00e7\u00e3o, minera\u00e7\u00e3o e an\u00e1lise de dados em diferentes dom\u00ednios; iii) a an\u00e1lise, descoberta e compreens\u00e3o de fen\u00f4menos atrav\u00e9s da ci\u00eancia de dados; iv) a t\u00e9cnicas e modelos computacionais que tornem o processo de an\u00e1lise e dados escal\u00e1vel e reproduz\u00edveis.<\/p>\n<p><strong>Temas de Pesquisa:<\/strong><\/p>\n<ul>\n<li><strong>Processo de Descoberta de Conhecimento<\/strong>: desenvolve pesquisa explorat\u00f3ria acerca da extra\u00e7\u00e3o de conhecimento a partir de grandes volumes de dados. O processo envolve a coleta, integra\u00e7\u00e3o, pr\u00e9-processamento, minera\u00e7\u00e3o e interpreta\u00e7\u00e3o dos resultados;<\/li>\n<li><strong>Sistemas de Recomenda\u00e7\u00e3o<\/strong>: pesquisa a recomenda\u00e7\u00e3o de itens (documentos, p\u00e1ginas, produtos, etc.) de acordo com o contexto, o perfil e os interesses do usu\u00e1rio, tendo como diferencial o uso de dimens\u00f5es n\u00e3o convencionais, tais como as caracter\u00edsticas do entorno do usu\u00e1rio e a ubiquidade do ambiente, al\u00e9m de fazer uso de m\u00e9tricas diferenciadas, como a avalia\u00e7\u00e3o do grau de ineditismo (novidade) dos itens e novas m\u00e9tricas de avalia\u00e7\u00e3o da similaridade entre os elementos;<\/li>\n<li><strong>Minera\u00e7\u00e3o de Textos e da Web<\/strong>: trata da classifica\u00e7\u00e3o e do agrupamento de documentos e recursos dispon\u00edveis na Web. Faz uso de t\u00e9cnicas e algoritmos de machine learning e minera\u00e7\u00e3o de dados; Envolve ainda a an\u00e1lise de links, an\u00e1lise de redes sociais (e.g. Twitter, jogos on-line, f\u00f3runs) e minera\u00e7\u00e3o de sentimentos (ou an\u00e1lise de polaridade);<\/li>\n<li><strong>Ci\u00eancia de Dados (data science):<\/strong> investiga o uso de t\u00e9cnicas estat\u00edsticas, algoritmos de aprendizado de m\u00e1quina, anal\u00edtica visual, entre outros, para compreens\u00e3o de problemas e fen\u00f4menos a partir de grandes volumes de dados;<\/li>\n<li><strong>Escalabilidade em tempo e espa\u00e7o da an\u00e1lise de dados<\/strong>: investiga t\u00e9cnicas estat\u00edsticas de agrega\u00e7\u00e3o de dados e de otimiza\u00e7\u00e3o de c\u00f3digo para aumentar a quantidade de dados que podem ser analisados ou para diminuir o tempo de an\u00e1lise com ferramental existente;<\/li>\n<li><strong>Workflow reproduz\u00edvel de an\u00e1lise de dados<\/strong>: investiga o uso, desenvolvimento e a paraleliza\u00e7\u00e3o da execu\u00e7\u00e3o de workflows, de forma que a an\u00e1lise de dados seja reprodut\u00edvel.<\/li>\n<\/ul>\n<hr \/>\n<p><strong>\u00c1rea de Concentra\u00e7\u00e3o:<\/strong> Ci\u00eancia de Dados e Engenharia de Software<br \/>\n<strong id=\"modelagem-de-dados\">Linha de Pesquisa:<\/strong> Modelagem de Dados e Processos de Neg\u00f3cio<\/p>\n<p><strong>Integrantes:<\/strong><\/p>\n<ul>\n<li>Jose Palazzo Moreira De Oliveira<\/li>\n<li>Leandro Krug Wives<\/li>\n<li>Lucineia Heloisa Thom<\/li>\n<\/ul>\n<p><strong>Descri\u00e7\u00e3o: <\/strong>A linha de Modelagem de Dados e Processos tem como foco a modelagem e a implanta\u00e7\u00e3o de modelos de bancos de dados, sistemas de informa\u00e7\u00e3o e Processos de Neg\u00f3cio, especialmente aqueles que envolvem caracter\u00edsticas n\u00e3o convencionais. Envolve a investiga\u00e7\u00e3o de modelos espaciais, temporais e espa\u00e7o-temporais. Lida com Esquemas Conceituais, Ontologias, adaptabilidade de sistemas Web, recomenda\u00e7\u00e3o, gera\u00e7\u00e3o de metadados, modelagem de perfil, m\u00e9tricas de reputa\u00e7\u00e3o, processos e servi\u00e7os, envolvendo sua documenta\u00e7\u00e3o, padroniza\u00e7\u00e3o e automatiza\u00e7\u00e3o.<\/p>\n<p><strong>Temas de Pesquisa:<\/strong><\/p>\n<ul>\n<li><strong>Ontologias e Modelos Conceituais<\/strong>: envolve a an\u00e1lise e o desenvolvimento de modelos de sistemas de informa\u00e7\u00e3o, processos de neg\u00f3cio, recursos (web), dados, estruturas e demais entidades relevantes para o dom\u00ednio de interesse;<\/li>\n<li><strong>Modelagem e Automa\u00e7\u00e3o de Processos de Neg\u00f3cio<\/strong>: extra\u00e7\u00e3o de modelos de processo a partir de texto em linguagem natural e de documenta\u00e7\u00e3o de organiza\u00e7\u00f5es, t\u00e9cnicas para visualiza\u00e7\u00e3o, qualidade e atualiza\u00e7\u00e3o de modelos de processo, transforma\u00e7\u00e3o de modelo de neg\u00f3cio em modelo de execu\u00e7\u00e3o;<\/li>\n<li><strong>Interoperabilidade<\/strong>: estudo e desenvolvimento de t\u00e9cnicas e modelos para a integra\u00e7\u00e3o e troca de dados e informa\u00e7\u00f5es entre modelos e sistemas;<\/li>\n<li><strong>Servi\u00e7os Web<\/strong>: t\u00e9cnicas de modelagem e descri\u00e7\u00e3o sint\u00e1tica, sem\u00e2ntica e contextual de servi\u00e7os, al\u00e9m de t\u00e9cnicas de descoberta, sele\u00e7\u00e3o e c\u00e1lculo de similaridade (matchmaking) para a execu\u00e7\u00e3o autom\u00e1tica e din\u00e2mica de servi\u00e7os, em especial em ambientes ub\u00edquos e inteligentes (smart environments, smart cities) e home care;<\/li>\n<li><strong>Recomenda\u00e7\u00e3o<\/strong>: desenvolvimento de modelos e algoritmos para recomenda\u00e7\u00e3o de recursos em processos, sistemas web e &#8220;smart systems&#8221;;<\/li>\n<li><strong>Smart Cities e Dom\u00f3tica<\/strong>: desenvolvimento de t\u00e9cnicas, modelos, algoritmos e solu\u00e7\u00f5es para ambientes inteligentes e ub\u00edquos, tendo como base a an\u00e1lise de contexto, a multiplicidade e a dinamicidade de dispositivos (sensores e atuadores) bem como necessidades dos usu\u00e1rios.<\/li>\n<\/ul>\n<hr \/>\n<p><strong id=\"projeto-sistemas-eletronicos\">\u00c1rea de Concentra\u00e7\u00e3o:<\/strong> Projeto de Sistemas Eletr\u00f4nicos e Computacionais<br \/>\n<strong id=\"concepcao-circuitos-si\">Linha de Pesquisa:<\/strong> Concep\u00e7\u00e3o de Circuitos e Sistemas Integrados<\/p>\n<p><strong>Integrantes:<\/strong><\/p>\n<ul>\n<li>Renato Perez Ribas<\/li>\n<li>Ricardo Augusto Da Luz Reis<\/li>\n<li>Sergio Bampi<\/li>\n<\/ul>\n<p><strong>Descri\u00e7\u00e3o: <\/strong>A pesquisa em sistemas eletr\u00f4nicos foca em integra\u00e7\u00e3o de solu\u00e7\u00f5es de hardware em circuitos avan\u00e7ados de dimens\u00f5es nano-m\u00e9tricas, com t\u00e9cnicas de integra\u00e7\u00e3o ultra-densa, em circuitos CMOS e dispositivos nano-eletr\u00f4nicos n\u00e3o convencionais. A linha de concep\u00e7\u00e3o de sistemas em chip s\u00e3o focadas em t\u00e9cnicas inovadoras para implementa\u00e7\u00e3o de algoritmos e arquiteturas dedicadas com alto grau de efici\u00eancia energ\u00e9tica, utilizando ferramentas avan\u00e7adas para suporte ao projeto.<\/p>\n<p><strong>Temas de Pesquisa:<\/strong><\/p>\n<ul>\n<li><strong>Algoritmos e arquiteturas de hardware dedicadas para processamento de imagem e de v\u00eddeo:<\/strong>desenvolver t\u00e9cnicas e algoritmos eficientes em \u00e1rea e energia para implementa\u00e7\u00e3o em hardware dedicado \u00e0 filtragem de imagens, codifica\u00e7\u00e3o de imagens e codifica\u00e7\u00e3o de v\u00eddeo digital. Desenvolvimento de aceleradores e co-processadores para DSP (digital signal processing). Investiga\u00e7\u00e3o de t\u00e9cnicas de DSP dedicadas para a implementa\u00e7\u00e3o em processadores gr\u00e1ficos (GP-GPUs) de prop\u00f3sito geral, em ASICs e processadores multi-core;<\/li>\n<li><strong>Projeto de Circuitos Integrados digitais:<\/strong>desenvolvimento de chips ASICs, com metodologias de especifica\u00e7\u00e3o, projeto e s\u00edntese digital automatizada, s\u00edntese l\u00f3gica em tecnologias n\u00e3o-convencionais, verifica\u00e7\u00e3o funcional, gera\u00e7\u00e3o de layout, verifica\u00e7\u00e3o f\u00edsica e teste p\u00f3s-fabrica\u00e7\u00e3o. Desenvolvimento de arquiteturas de hardware dedicadas com metodologias inovadoras de s\u00edntese e de verifica\u00e7\u00e3o. Desenvolvimento de sistemas em chip com ferramentas de s\u00edntese de alto n\u00edvel \u2013 algoritmos sintetizados em RTL, com explora\u00e7\u00e3o e otimiza\u00e7\u00e3o do projeto;<\/li>\n<li><strong>Projeto de Circuitos Integrados mistos anal\u00f3gico-digitais<\/strong>: projeto de circuitos digitais CMOS operando em \u201cnear-threshold,\u201d projeto de circuitos digitais em ultra-baixa tens\u00e3o, projeto de conversores anal\u00f3gico-digitais e geradores de rel\u00f3gio por \u201cloops\u201d de controle de fase, frequ\u00eancia e de atraso. Filtragem com t\u00e9cnicas de tempo discreto;<\/li>\n<li><strong>Projeto de Sistemas em Chip e MPSoCs<\/strong>: Projeto de multiprocessadores integrados em um chip, com cores semelhantes ou cores heterog\u00eaneos dedicados a diferentes aplica\u00e7\u00f5es, assim como sistemas em chip baseados em aceleradores de hardware. Projeto de MPSoCs tolerantes a falhas;<\/li>\n<li><strong>Concep\u00e7\u00e3o de Circuitos Integrados Otimizados para Baixo Consumo: <\/strong>Projeto de nanocircuitos dedicados \u00e0 internet das coisas, com o uso de t\u00e9cnicas eficientes e intensivas para a redu\u00e7\u00e3o de consumo est\u00e1tico.<\/li>\n<\/ul>\n<hr \/>\n<p><strong>\u00c1rea de Concentra\u00e7\u00e3o:<\/strong> Projeto de Sistemas Eletr\u00f4nicos e Computacionais<br \/>\n<strong id=\"ferramentas-automacao-proj\">Linha de Pesquisa:<\/strong> Ferramentas para Automa\u00e7\u00e3o de Projeto Eletr\u00f4nico<\/p>\n<p><strong>Integrantes:<\/strong><\/p>\n<ul>\n<li>Andre Inacio Reis<\/li>\n<li>Renato Perez Ribas<\/li>\n<li>Ricardo Augusto Da Luz Reis<\/li>\n<\/ul>\n<p><strong>Descri\u00e7\u00e3o: <\/strong>A linha de ferramentas para automa\u00e7\u00e3o de projeto eletr\u00f4nico estuda os algoritmos utilizados na s\u00edntese da funcionalidade l\u00f3gica e f\u00edsica de circuitos e sistemas integrados. Incluindo tamb\u00e9m as estruturas de dados usadas na verifica\u00e7\u00e3o formal da funcionalidade destes circuitos e sistemas. Para tanto, circuitos s\u00e3o abstra\u00eddos como grafos e tratados com algoritmos de otimiza\u00e7\u00e3o incluindo programa\u00e7\u00e3o inteira e linear, satisfiabilidade, e t\u00e9cnicas de programa\u00e7\u00e3o din\u00e2mica. Os egressos de mestrado e doutorado desta linha de pesquisa tem se destacado nacional e internacionalmente, tendo recebido pr\u00eamios em olimp\u00edadas e concursos de programa\u00e7\u00e3o na \u00e1rea, em confer\u00eancias internacionais tais como ICCAD, ISPD e IWLS. Al\u00e9m disso a \u00e1rea tem contribu\u00eddo para formar pessoas que se inserem no cen\u00e1rio internacional com facilidade, tendo egressos em empresas tais como Synopsys, Cadence, Mentor, Intel, IBM, NXP e Silvaco. Os orientadores da linha de pesquisa tem publicado frequentemente em revistas de renome, incluindo v\u00e1rias Transactions da ACM e da IEEE. Os professores da linha de pesquisa tem grande n\u00famero de patentes concedidas nos EUA. A linha de pesquisa \u00e9 din\u00e2mica, proporcionando v\u00e1rias oportunidades de coopera\u00e7\u00e3o internacional, tanto acad\u00eamicas quanto empresariais.<\/p>\n<p><strong>Temas de Pesquisa:<\/strong><\/p>\n<ul>\n<li>Algoritmos e estruturas de dados para s\u00edntese e manipula\u00e7\u00e3o de fun\u00e7\u00f5es l\u00f3gicas;<\/li>\n<li>Algoritmos e estruturas de dados para verifica\u00e7\u00e3o formal da funcionalidade;<\/li>\n<li>Algoritmos e estruturas de dados de satisfiability e satisfiability modulo theory (SMT), incluindo aplica\u00e7\u00f5es;<\/li>\n<li>Algoritmos e estruturas de dados para projeto f\u00edsico de circuitos e sistemas digitais;<\/li>\n<li>Algoritmos e estruturas de dados de posicionamento;<\/li>\n<li>Algoritmos e estruturas de dados para roteamento;<\/li>\n<li>Aplica\u00e7\u00f5es de programa\u00e7\u00e3o inteira e linear na otimiza\u00e7\u00e3o de circuitos modelados como grafos.<\/li>\n<\/ul>\n<hr \/>\n<p><strong>\u00c1rea de Concentra\u00e7\u00e3o:<\/strong> Projeto de Sistemas Eletr\u00f4nicos e Computacionais<br \/>\n<strong id=\"confiabilidade-tolerancia\">Linha de Pesquisa:<\/strong> Confiabilidade e Toler\u00e2ncia a Falhas<\/p>\n<p><strong>Integrantes:<\/strong><\/p>\n<ul>\n<li>Gabriel Luca Nazar<\/li>\n<li>Paolo Rech<\/li>\n<\/ul>\n<p style=\"text-align: justify;\"><strong>Descri\u00e7\u00e3o: <\/strong>O grupo de pesquisa do Instituto de Inform\u00e1tica da UFRGS na \u00e1rea de Confiabilidade e Toler\u00e2ncia a Falhas est\u00e1 entre os mais reconhecidos e respeitados do mundo. Temos parcerias, colabora\u00e7\u00f5es ativas e contatos com as maiores ind\u00fastrias de dispositivos computacionais (AMD, ARM, Intel, NVIDIA, Xilinx) e com os maiores laborat\u00f3rios de pesquisas (Los Alamos National Lab, Jet Propulsion Lab, Rutherford Appleton Lab, IES). O grande interesse das ind\u00fastrias e dos pesquisadores nesta linha de pesquisa nasce do fato que nenhum sistema computacional \u00e9 imune \u00e0s falhas, que podem acontecer tanto no HW quanto no SW. O projeto dos dispositivos e dos c\u00f3digos para qualquer aplica\u00e7\u00e3o, por tanto, tem que considerar a possibilidade de falhas acontecerem. A linha de pesquisa sobre Confiabilidade e Toler\u00e2ncia a Falhas tem como objetivo justamente a avalia\u00e7\u00e3o e a mitiga\u00e7\u00e3o das falhas (HW ou SW) em sistemas digitais e de computa\u00e7\u00e3o. A toler\u00e2ncia a falhas se tornou fundamental nos \u00faltimos anos, visto que a redu\u00e7\u00e3o das dimens\u00f5es dos transistores, o aumento dos recursos dispon\u00edveis e da frequ\u00eancia de funcionamento ocasiona incrementos na taxa de falhas. A complexidade das aplica\u00e7\u00f5es e dos dispositivos torna muito complicada a avalia\u00e7\u00e3o dos efeitos das falhas, que requer um conhecimento detalhado tanto da implementa\u00e7\u00e3o f\u00edsica quanto da arquitetura e do c\u00f3digo executado. Obviamente, entre as aplica\u00e7\u00f5es que mais precisam ser tolerantes a falhas encontram-se as automotivas, aeroespaciais e de alto desempenho ou High Performance Computing (HPC). Os supercomputadores modernos apresentam uma taxa de falhas na ordem de 1 falha a cada 10h, o que \u00e9 claramente inaceit\u00e1vel, dado o volume de dados processados e a import\u00e2ncia das aplica\u00e7\u00f5es que est\u00e3o sendo executadas. \u00c9 preciso, ent\u00e3o, criar t\u00e9cnicas de prote\u00e7\u00e3o ou detec\u00e7\u00e3o de falhas que sejam eficientes. Al\u00e9m disso, os carros do futuro tendem a ser totalmente automatizados e, evidentemente falhas no sistema n\u00e3o ser\u00e3o aceitas.<\/p>\n<p><strong>Temas de Pesquisa:<\/strong><\/p>\n<ul>\n<li>Avalia\u00e7\u00e3o da taxa de falhas de dispositivos modernos, tais como CPUs, GPUs, FPGAs, ASICs, sistemas embarcados e sistemas heterog\u00eaneos;<\/li>\n<li>Realiza\u00e7\u00e3o de experimentos de radia\u00e7\u00e3o por meio de feixes acelerados de part\u00edculas (\u00edons pesados, n\u00eautrons, pr\u00f3tons);<\/li>\n<li>Desenvolvimento de t\u00e9cnicas de detec\u00e7\u00e3o e corre\u00e7\u00e3o de falhas em software, firmware, hardware;<\/li>\n<li>Estudo do impacto das falhas em aplica\u00e7\u00f5es de alto desempenho, como por exemplo, supercomputadores, servidores, cloud;<\/li>\n<li>Toler\u00e2ncia a falhas dos novos paradigmas computacionais, como redes neurais e c\u00f3digos altamente paralelos;<\/li>\n<li>Proposta e desenvolvimento de arquiteturas e circuitos tolerantes a falhas para aplica\u00e7\u00f5es espaciais e avi\u00f4nicas;<\/li>\n<li>Avalia\u00e7\u00e3o e mitiga\u00e7\u00e3o das falhas cr\u00edticas para sistemas automotivos;<\/li>\n<li>Estudo da rela\u00e7\u00e3o entre computa\u00e7\u00e3o aproximada e efeitos das falhas.<\/li>\n<\/ul>\n<hr \/>\n<p><strong id=\"sistemas-de-computacao\">\u00c1rea de Concentra\u00e7\u00e3o:<\/strong> Sistemas de Computa\u00e7\u00e3o<br \/>\n<strong id=\"computacao-alto-desemp\">Linha de Pesquisa:<\/strong> Computa\u00e7\u00e3o de Alto Desempenho e Sistemas Distribu\u00eddos<\/p>\n<p><strong>Integrantes:<\/strong><\/p>\n<ul>\n<li>Claudio Fernando Resin Geyer<\/li>\n<li>Lucas Mello Schnorr<\/li>\n<li>Nicolas Bruno Maillard<\/li>\n<li>Philippe Olivier Alexandre Navaux<\/li>\n<\/ul>\n<p><strong>Descri\u00e7\u00e3o: <\/strong>Esta linha de pesquisa procura investigar m\u00e9todos e t\u00e9cnicas que contribuam positivamente para a pr\u00e1tica de agregar o poder computacional de m\u00faltiplos computadores para entregar um desempenho muito maior do que seria realiz\u00e1vel em um conjunto pequeno de computadores. Essa \u00e1rea \u00e9 fundamental para que a resolu\u00e7\u00e3o de problemas de grande porte se torne poss\u00edvel em aplica\u00e7\u00f5es oriundas da ci\u00eancia computacional (simula\u00e7\u00f5es cient\u00edficas) e neg\u00f3cio (an\u00e1lise de grande volume de dados). Assim, esta \u00e1rea de pesquisa procura investigar a aplica\u00e7\u00e3o de arquiteturas avan\u00e7adas de processadores, de clusters computacionais (em ambientes de nuvem e de grade), de redes de interconex\u00e3o, e de sistemas distribu\u00eddos de uma maneira geral, para obter-se uma execu\u00e7\u00e3o satisfat\u00f3ria. A investiga\u00e7\u00e3o do uso destes elementos computacionais se d\u00e1 de acordo com crit\u00e9rios multiobjetivos como, por exemplo, alto desempenho em tempo de execu\u00e7\u00e3o, consumo de energia reduzido, uso eficiente e balanceado dos principais elementos computacionais tais como rede, disco, mem\u00f3ria e processador.<\/p>\n<p><strong>Temas de Pesquisa:<\/strong><\/p>\n<ul>\n<li>Arquiteturas paralelas multicore (x86, ARM) e aceleradores (GPUs, FPGA);<\/li>\n<li>Escalonamento e balanceamento de tarefas em ambientes heterog\u00eaneos;<\/li>\n<li>An\u00e1lise de desempenho de aplica\u00e7\u00f5es de alto desempenho;<\/li>\n<li>Cluster, Grid, Cloud, VM machines;<\/li>\n<li>Programa\u00e7\u00e3o paralela e distribu\u00edda;<\/li>\n<li>Gerenciamento de recursos distribu\u00eddo;<\/li>\n<li>Computa\u00e7\u00e3o Ubiqua e Pervasiva.<\/li>\n<\/ul>\n<hr \/>\n<p><strong>\u00c1rea de Concentra\u00e7\u00e3o:<\/strong> Sistemas de Computa\u00e7\u00e3o<br \/>\n<strong id=\"arquiteturas-nao-convencionais\">Linha de Pesquisa:<\/strong> Arquiteturas N\u00e3o Convencionais<\/p>\n<p><strong>Integrantes:<\/strong><\/p>\n<ul>\n<li>Antonio Carlos Schneider Beck Filho<\/li>\n<li>Gabriel Luca Nazar<\/li>\n<li>Luigi Carro<\/li>\n<li>Paolo Rech<\/li>\n<li>Philippe Olivier Alexandre Navaux<\/li>\n<\/ul>\n<p><strong>Descri\u00e7\u00e3o: <\/strong>Com o final das Lei de Moore e Escala de Dennard, a necessidade de se obter performance com um hardware que n\u00e3o evolui mais na taxa esperada e que proporcionalmente consome mais pot\u00eancia vai exigir novas maneiras de se observar o problema. Em especial, a busca por efici\u00eancia energ\u00e9tica e a necessidade de cada vez mais desempenho obrigar\u00e3o a ado\u00e7\u00e3o de estruturas de hardware n\u00e3o convencionais nas diversas \u00e1reas da Computa\u00e7\u00e3o, visto que a demanda por mais rapidez e baixa energia permanece em aplica\u00e7\u00f5es modernas de Intelig\u00eancia Artificial, Redes de Computadores, Big Data e Internet of things (IoT). Esta linha se prop\u00f5e a estudar solu\u00e7\u00e3o mistas de software e hardware, explorando diferentes aspectos da hierarquia de mem\u00f3rias, estilos de processamento e linguagens de programa\u00e7\u00e3o. A linha busca por aplica\u00e7\u00f5es que perten\u00e7am a nichos (e portanto, possam ser otimizadas por alguma peculiaridade), mas ao mesmo tempo que sejam impactantes na sociedade e na Computa\u00e7\u00e3o, de maneira que o custo de desenvolvimento seja justificado. A constru\u00e7\u00e3o destes sistemas exige t\u00e9cnicas espec\u00edficas, permeando hardware e software, conforme os temas a seguir.<\/p>\n<p><strong>Temas de Pesquisa:<\/strong><\/p>\n<ul>\n<li>Processadores adaptativos para desempenho, efici\u00eancia energ\u00e9tica e confiabilidade;<\/li>\n<li>Processamento em mem\u00f3ria, abstra\u00e7\u00e3o de software e compiladores dedicados;<\/li>\n<li>Computa\u00e7\u00e3o aproximativa e aplica\u00e7\u00f5es em IA;<\/li>\n<li>Aceleradores de dom\u00ednios espec\u00edficos.<\/li>\n<\/ul>\n<hr \/>\n<p><strong>\u00c1rea de Concentra\u00e7\u00e3o:<\/strong> Sistemas de Computa\u00e7\u00e3o<br \/>\n<strong id=\"sistemas-embarcados\">Linha de Pesquisa:<\/strong> Sistemas Embarcados<\/p>\n<p><strong>Integrantes:<\/strong><\/p>\n<ul>\n<li>Antonio Carlos Schneider Beck Filho<\/li>\n<li>Carlos Eduardo Pereira<\/li>\n<li>Edison Pignaton De Freitas<\/li>\n<li>Erika Fernandes Cota<\/li>\n<li>Fl\u00e1vio Rech Wagner<\/li>\n<li>Gabriel Luca Nazar<\/li>\n<li>Luigi Carro<\/li>\n<li>Paolo Rech<\/li>\n<\/ul>\n<p><strong>Descri\u00e7\u00e3o: <\/strong>Esta linha aborda todos os est\u00e1gios de desenvolvimento de sistemas computacionais embarcados, explorando o espa\u00e7o de projeto para, de maneira autom\u00e1tica, r\u00e1pida e confi\u00e1vel, implementar diferentes camadas de hardware e software que s\u00e3o otimizadas para diferentes tipos e dom\u00ednios de aplica\u00e7\u00e3o. Diversos exemplos s\u00e3o encontrados em nosso cotidiano: entretenimento (games) e telecomunica\u00e7\u00f5es (smartphones); controle de aeronaves e carros autoguiados; sistemas de tempo real; solu\u00e7\u00f5es m\u00e9dicas que aumentam a autonomia e a seguran\u00e7a de pacientes; sistemas de automa\u00e7\u00e3o residencial e industrial; solu\u00e7\u00f5es que agilizam e reduzem custos de um neg\u00f3cio; ou em simples utilit\u00e1rios pessoais, como smartbands para sensoriamento de sono ou esportes. Assim, buscamos respostas para uma s\u00e9rie de perguntas: Como maximizar o tempo de utiliza\u00e7\u00e3o do meu dispositivo sem necessidade de recarga? Como baixar os custos de produ\u00e7\u00e3o destes sistemas, mantendo o alto desempenho e confiabilidade? Como aumentar o uso destes dispositivos no nosso cotidiano? Como garantir que o sistema embarcado forne\u00e7a uma resposta em tempo h\u00e1bil? A constru\u00e7\u00e3o destes sistemas exige t\u00e9cnicas espec\u00edficas, conforme os temas a seguir.<\/p>\n<p><strong>Temas de Pesquisa:<\/strong><\/p>\n<ul>\n<li>Software de aplica\u00e7\u00e3o espec\u00edfica usando novas metodologias e t\u00e9cnicas para automa\u00e7\u00e3o no seu desenvolvimento, visando qualidade, desempenho, redu\u00e7\u00e3o de pot\u00eancia etc;<\/li>\n<li>Desenvolvimento de arquiteturas de HW\/SW, s\u00edntese autom\u00e1tica de processadores e gera\u00e7\u00e3o eficiente de c\u00f3digo visando redu\u00e7\u00e3o de consumo de energia;<\/li>\n<li>Implementa\u00e7\u00e3o de algoritmos especializados atrav\u00e9s de metodologias baseadas em modelos e uso de m\u00e9tricas espec\u00edficas para auxiliar o desenvolvedor durante o desenvolvimento;<\/li>\n<li>Teste e confiabilidade de sistemas embarcados, paralelos e m\u00f3veis, usando m\u00e9todos de HW\/SW;<\/li>\n<li>Modelagem, especifica\u00e7\u00e3o de requisitos, an\u00e1lise de previsibilidade e linguagens de programa\u00e7\u00e3o para sistemas embarcados de tempo real ou distribu\u00eddos;<\/li>\n<li>Protocolos e comunica\u00e7\u00e3o de rede com requisitos de tempo, considerando agendamento de mensagens, m\u00e9todos de acesso, modelos anal\u00edticos e middleware de tempo real;<\/li>\n<li>Proposta e desenvolvimento de arquiteturas e modelos para sistemas de automa\u00e7\u00e3o industrial e predial, veicular e avi\u00f4nicos.<\/li>\n<\/ul>\n<hr \/>\n<p><strong id=\"teoria-da-computacao\">\u00c1rea de Concentra\u00e7\u00e3o:<\/strong> Teoria da Computa\u00e7\u00e3o<br \/>\n<strong id=\"algoritmos-otimizacao\">Linha de Pesquisa:<\/strong> Algoritmos e Otimiza\u00e7\u00e3o<\/p>\n<p><strong>Integrantes:<\/strong><\/p>\n<ul>\n<li>Luciana Salete Buriol<\/li>\n<li>Marcio Dorn<\/li>\n<li>Marcus Rolf Peter Ritt<\/li>\n<\/ul>\n<p><strong>Descri\u00e7\u00e3o: <\/strong>A linha de algoritmos e otimiza\u00e7\u00e3o tem como objetivo principal projetar algoritmos eficientes para resolu\u00e7\u00e3o de problemas. Os algoritmos s\u00e3o analisados do ponto de vista te\u00f3rico e experimental. Problemas originados de aplica\u00e7\u00f5es pr\u00e1ticas diretas s\u00e3o bem vindos, e problemas de cunho principal cient\u00edfico tamb\u00e9m s\u00e3o abordados pelo grupo. Em otimiza\u00e7\u00e3o abordamos temas tais como modelagem matem\u00e1tica de problemas, desigualdades v\u00e1lidas, desenvolvimento de m\u00e9todos exatos e heur\u00edsticos para resolver problemas combinat\u00f3rios. Na \u00e1rea de algoritmos, trabalhamos na formaliza\u00e7\u00e3o de problemas com provas de NP-Completude, e tamb\u00e9m no projeto de algoritmos de aproxima\u00e7\u00e3o e de complexidade parametrizada. De forma geral, os trabalhos realizados no \u00e2mbito do grupo possuem contribui\u00e7\u00f5es te\u00f3ricas e experimentais.<\/p>\n<p><strong>Temas de Pesquisa:<\/strong><\/p>\n<ul>\n<li>Defini\u00e7\u00e3o e modelagem modelagem matem\u00e1tica de problemas, resolu\u00e7\u00e3o exata via solver, projeto de m\u00e9todos exatos ou heur\u00edsticos;<\/li>\n<li>Log\u00edstica na \u00c1rea da Sa\u00fade: aloca\u00e7\u00e3o de enfermeiras e m\u00e9dicos, forma\u00e7\u00e3o de equipes e roteamento para atendimento domiciliar, entre outros;<\/li>\n<li>Log\u00edstica: roteamento de ve\u00edculos e planejamento \u00f3timo de distribui\u00e7\u00e3o;<\/li>\n<li>Problemas de aloca\u00e7\u00e3o de distritos para elei\u00e7\u00f5es, distribui\u00e7\u00e3o comercial e assentamentos rurais;<\/li>\n<li>Produ\u00e7\u00e3o: agendamento \u00f3tima de tarefas, e otimiza\u00e7\u00e3o de linhas de montagem;<\/li>\n<li>Projeto e an\u00e1lise de algoritmos para resolu\u00e7\u00e3o de problemas em bigdata;<\/li>\n<li>Resolu\u00e7\u00e3o heur\u00edstica para problemas em Bioinform\u00e1tica: Atracamento Molecular, Modelagem e Predi\u00e7\u00e3o Estrutural de Polipept\u00eddeos, entre outros.<\/li>\n<\/ul>\n<hr \/>\n<p><strong>\u00c1rea de Concentra\u00e7\u00e3o:<\/strong> Teoria da Computa\u00e7\u00e3o<br \/>\n<strong id=\"logica-modelos\">Linha de Pesquisa:<\/strong> L\u00f3gica e Modelos de Computa\u00e7\u00e3o<\/p>\n<p><strong>Integrantes:<\/strong><\/p>\n<ul>\n<li>\u00c1lvaro<\/li>\n<li>Daltro Jose Nunes<\/li>\n<li>Leila Ribeiro<\/li>\n<li>Luis Da Cunha Lamb<\/li>\n<li>Lucio Mauro Duarte<\/li>\n<\/ul>\n<p><strong>Descri\u00e7\u00e3o: <\/strong>Esta linha tem como objetivo o desenvolvimento e an\u00e1lise de modelos de sistemas computacionais, bem como a formaliza\u00e7\u00e3o dos processos de Engenharia de Software e suas atividades. Modelos computacionais s\u00e3o descri\u00e7\u00f5es abstratas de sistemas reais. Sobre esses modelos, \u00e9 poss\u00edvel realizar diversos tipos de verifica\u00e7\u00f5es de requisitos, que s\u00e3o geralmente descritos usando-se algum tipo de l\u00f3gica, que permite uma descri\u00e7\u00e3o precisa do que se quer verificar e pode ser usada para uma an\u00e1lise autom\u00e1tica em ferramentas dispon\u00edveis. A meta \u00e9 prover t\u00e9cnicas e metodologias que deem suporte ao correto desenvolvimento de sistemas computacionais dos mais diversos tipos e produzam documenta\u00e7\u00e3o formal tanto da estrutura e do comportamento destes sistemas quanto de suas propriedades.<\/p>\n<p><strong>Temas de Pesquisa:<\/strong><\/p>\n<ul>\n<li><strong>L\u00f3gicas para descri\u00e7\u00e3o e an\u00e1lise de propriedades de sistemas complexos;<\/strong><\/li>\n<li><strong>Modelos para sistemas computacionais<\/strong>: defini\u00e7\u00e3o de modelos para sistemas computacionais considerando diferentes \u00e1rea de aplica\u00e7\u00e3o (Economia, Medicina, Biologia, Administra\u00e7\u00e3o, etc), bem como diversos aspectos, como concorr\u00eancia, seguran\u00e7a, probabilidade, etc. Esses modelos podem ser usados como base para diversos tipos de an\u00e1lises e simula\u00e7\u00f5es, bem como para o desenvolvimento baseado em modelos (MDE);<\/li>\n<li><strong>Extra\u00e7\u00e3o de modelos de software<\/strong>: T\u00e9cnicas est\u00e1ticas, din\u00e2micas e h\u00edbridas para a constru\u00e7\u00e3o de modelos qualitativos e quantitativos a partir de software existente, possibilitando a aplica\u00e7\u00e3o de t\u00e9cnicas de verifica\u00e7\u00e3o formal mesmo para sistemas em uso e\/ou em evolu\u00e7\u00e3o;<\/li>\n<li><strong>Especifica\u00e7\u00e3o, sem\u00e2ntica e verifica\u00e7\u00e3o formal<\/strong>: t\u00e9cnicas para descri\u00e7\u00e3o formal e an\u00e1lise de software, sob diferentes aspectos;<\/li>\n<li><strong>An\u00e1lise quantitativa de sistemas<\/strong>: t\u00e9cnicas e ferramentas para a descri\u00e7\u00e3o e avalia\u00e7\u00e3o de comportamentos probabil\u00edsticos e estoc\u00e1sticos de sistemas.<\/li>\n<\/ul>\n<hr \/>\n<p><strong id=\"inteligencia-artificial\">\u00c1rea de Concentra\u00e7\u00e3o:<\/strong> Intelig\u00eancia Artificial<br \/>\n<strong id=\"aprendizado-representacao\">Linha de Pesquisa:<\/strong> Aprendizado de M\u00e1quina, Representa\u00e7\u00e3o de Conhecimento e Racioc\u00ednio<\/p>\n<p><strong>Integrantes:<\/strong><\/p>\n<ul>\n<li>Aline Villavicencio<\/li>\n<li>Ana Lucia Cetertich Bazzan<\/li>\n<li>Andre Grahl Pereira<\/li>\n<li>Dante Augusto Couto Barone<\/li>\n<li>Jacob Scharcanski<\/li>\n<li>Joel Luis Carbonera<\/li>\n<li>Luis Da Cunha Lamb<\/li>\n<li>Mara Abel<\/li>\n<li>Marcio Dorn<\/li>\n<li>Rosa Maria Vicari<\/li>\n<\/ul>\n<p><strong>Descri\u00e7\u00e3o: <\/strong>Na \u00e1rea de aprendizado de m\u00e1quina, s\u00e3o desenvolvidas pesquisas visando o desenvolvimento de t\u00e9cnicas e sistemas que aprendam a partir de dados e conhecimento. S\u00e3o investigadas diversas t\u00e9cnicas de aprendizado, incluindo aprendizado por refor\u00e7o e redes neurais, bem como aplica\u00e7\u00f5es em rob\u00f3tica, bioinform\u00e1tica, processamento de linguagem natural, sistemas multiagentes, vis\u00e3o computacional, &#8220;big data&#8221; e reconhecimento de padr\u00f5es. A \u00e1rea de representa\u00e7\u00e3o de conhecimento e racioc\u00ednio abrange pesquisas em aquisi\u00e7\u00e3o e representa\u00e7\u00e3o de conhecimento, ontologias, integra\u00e7\u00e3o entre racioc\u00ednio e aprendizado, l\u00f3gica e automa\u00e7\u00e3o do racioc\u00ednio, bem como aplica\u00e7\u00f5es em rob\u00f3tica, educa\u00e7\u00e3o, computa\u00e7\u00e3o cognitiva, sistemas multiagentes e na ind\u00fastria petrol\u00edfera. Os resultados de pesquisa do grupo s\u00e3o publicados nas principais confer\u00eancias (e.g. AAAI, IJCAI, ECAI, NIPS, ICML, AAMAS, ICRA, IROS, etc) e peri\u00f3dicos da \u00e1rea de Intelig\u00eancia Artificial (e.g. Artificial Intelligence, ACM e IEEE Transactions, entre outros). As pesquisas do grupo levaram ao surgimento de startups na \u00e1rea, bem como a projetos de coopera\u00e7\u00e3o inovadores com fomento nacional, norte-americano e europeu.<\/p>\n<p><strong>Temas de Pesquisa:<\/strong><\/p>\n<ul>\n<li><strong>Aprendizado de M\u00e1quina<\/strong>: Neste tema, desenvolvemos pesquisa em aprendizado supervisionado e n\u00e3o supervisionado, aprendizado por refor\u00e7o, redes neurais profundas, integra\u00e7\u00e3o entre racioc\u00ednio e aprendizado de m\u00e1quina, computa\u00e7\u00e3o neuro-simb\u00f3lica e aprendizado distribu\u00eddo. As \u00e1reas de aplica\u00e7\u00e3o incluem rob\u00f3tica, bioinform\u00e1tica, processamento de linguagem natural, sistemas multiagente, vis\u00e3o computacional, &#8220;big data&#8221;, data science e reconhecimento de padr\u00f5es;<\/li>\n<li><strong>Representa\u00e7\u00e3o de conhecimento e racioc\u00ednio<\/strong>: Nesta tem\u00e1tica os pesquisadores investigam mecanismos de infer\u00eancia, integra\u00e7\u00e3o entre racioc\u00ednio e aprendizado de m\u00e1quina, aquisi\u00e7\u00e3o e representa\u00e7\u00e3o de conhecimento e engenharia de ontologias. Entre as \u00e1reas de aplica\u00e7\u00e3o destacamos a ind\u00fastria de petr\u00f3leo, bioinform\u00e1tica, computa\u00e7\u00e3o cognitiva, educa\u00e7\u00e3o e rob\u00f3tica.<\/li>\n<\/ul>\n<hr \/>\n<p><strong>\u00c1rea de Concentra\u00e7\u00e3o:<\/strong> Intelig\u00eancia Artificial<br \/>\n<strong id=\"planejamento-robotica\">Linha de Pesquisa:<\/strong> Planejamento, Sistemas Multiagentes e Rob\u00f3tica<\/p>\n<p><strong>Integrantes:<\/strong><\/p>\n<ul>\n<li>Ana Lucia Cetertich Bazzan<\/li>\n<li>Andre Grahl Pereira<\/li>\n<li>Edison Pignaton de Freitas<\/li>\n<li>Edson Prestes e Silva Junior<\/li>\n<li>Ingrid Oliveira de Nunes<\/li>\n<li>Mariana Luderitz Kolberg<\/li>\n<li>Renan de Queiroz Maffei<\/li>\n<\/ul>\n<p><strong>Descri\u00e7\u00e3o: <\/strong>Esta linha de pesquisa contempla diferentes temas de atua\u00e7\u00e3o. Planejamento \u00e9 uma abordagem geral para resolu\u00e7\u00e3o inteligente de problemas que procura encontrar uma sequ\u00eancia de a\u00e7\u00f5es que permite a um agente inteligente alcan\u00e7ar a partir de sua situa\u00e7\u00e3o atual um conjunto de situa\u00e7\u00f5es objetivo. A motiva\u00e7\u00e3o dessa abordagem \u00e9 criar um algoritmo que tenha bom desempenho em qualquer problema sem conhecimento pr\u00e9vio. Em um segundo tema, sistemas multiagentes representam v\u00e1rios agentes interagindo para realizar uma determinada tarefa. \u00c9 necess\u00e1rio considerar requisitos como mecanismos de aprendizado de m\u00e1quina, comunica\u00e7\u00e3o, coopera\u00e7\u00e3o e coordena\u00e7\u00e3o e resolu\u00e7\u00e3o de conflitos. Sistemas multiagentes s\u00e3o especialmente interessantes em casos onde os problemas s\u00e3o de natureza inerentemente distribu\u00edda. Por fim, esta linha contempla tamb\u00e9m a rob\u00f3tica: Para que rob\u00f4s consigam atuar de forma satisfat\u00f3ria no ambiente, seja em grupo ou individualmente, \u00e9 necess\u00e1rio que in\u00fameros problemas do ponto de vista t\u00e9cnico e \u00e9tico sejam resolvidos, que incluem, a constru\u00e7\u00e3o de mapas confi\u00e1veis, autolocaliza\u00e7\u00e3o e navega\u00e7\u00e3o em ambientes desconhecidos. Aplica\u00e7\u00f5es incluem o uso de rob\u00f4s para fins humanit\u00e1rios, industriais e comerciais bem como para promover o bem-estar do ser humano.<\/p>\n<p><strong>Temas de Pesquisa:<\/strong><\/p>\n<ul>\n<li><strong>Busca Heur\u00edstica:<\/strong> Desenvolvimento e an\u00e1lise de fun\u00e7\u00f5es heur\u00edsticas, algoritmos de busca informada e n\u00e3o-informada para problemas cl\u00e1ssicos, jogos e aplica\u00e7\u00f5es;<\/li>\n<li><strong>Planejamento Automatizado:<\/strong> Desenvolvimento e an\u00e1lise algoritmos para resolu\u00e7\u00e3o de problemas de planejamento cl\u00e1ssico de forma independente de dom\u00ednio;<\/li>\n<li><strong>Coordena\u00e7\u00e3o em sistemas multiagentes<\/strong>: Desenvolvimento de m\u00e9todos para coordena\u00e7\u00e3o de agentes usando, por exemplo, t\u00e9cnicas da teoria de jogos;<\/li>\n<li><strong>Aprendizado por refor\u00e7o multiagente<\/strong>: Desenvolvimento de t\u00e9cnicas para que agentes aprendam a solucionar problemas em ambientes desconhecidos; extens\u00f5es para casos onde v\u00e1rios agentes interagem e aprendem simultaneamente;<\/li>\n<li><strong>Simula\u00e7\u00e3o baseada em agentes<\/strong>: Este paradigma de modelagem e simula\u00e7\u00e3o usa agentes aut\u00f4nomos para estudar a emerg\u00eancia de fen\u00f4menos em sistemas complexos naturais e artificiais;<\/li>\n<li><strong>Mapeamento e Autolocaliza\u00e7\u00e3o Simult\u00e2neos<\/strong>: Desenvolvimento de m\u00e9todos e algor\u00edtmos probabil\u00edsticos e intervalares para a constru\u00e7\u00e3o de mapas usando rob\u00f4s;<\/li>\n<li><strong>Explora\u00e7\u00e3o de Ambientes Desconhecidos<\/strong>: Desenvolvimento de m\u00e9todos e algor\u00edtmos que permitam ao rob\u00f4, de forma aut\u00f4noma, visitar e produzir um mapa de um ambiente desconhecido;<\/li>\n<li><strong>Ontologias para rob\u00f3tica e automa\u00e7\u00e3o<\/strong> : Desenvolvimento de modelos baseados em ontologia para viabilizar a comunica\u00e7\u00e3o entre rob\u00f4s. Neste tema, est\u00e3o inclu\u00eddos representa\u00e7\u00f5es relacionadas a aspectos \u00e9ticos na \u00e1rea de rob\u00f3tica e automa\u00e7\u00e3o assim como t\u00f3picos pass\u00edveis de padroniza\u00e7\u00e3o.<\/li>\n<\/ul>\n<hr \/>\n<p><strong id=\"redes-de-computadores\">\u00c1rea de Concentra\u00e7\u00e3o:<\/strong> Redes de Computadores<br \/>\n<strong id=\"arquiteturas-protocolos-redes\">Linha de Pesquisa:<\/strong> Arquiteturas, Protocolos e Ger\u00eancia de Redes e Servi\u00e7os<\/p>\n<p><strong>Integrantes:<\/strong><\/p>\n<ul>\n<li>Alberto Egon Schaeffer Filho<\/li>\n<li>Antonio Marinho Pilla Barcellos<\/li>\n<li>Edison Pignaton De Freitas<\/li>\n<li>Juergen Rochol<\/li>\n<li>Lisandro Zambenedetti Granville<\/li>\n<li>Luciano Paschoal Gaspary<\/li>\n<li>Valter Roesler<\/li>\n<li>Weverton Luis Da Costa Cordeiro<\/li>\n<\/ul>\n<p><strong>Descri\u00e7\u00e3o: <\/strong>Esta linha de pesquisa abrange <em>pesquisa b\u00e1sica<\/em> e <em>aplicada<\/em> em redes. Inclui desde <em>aspectos de camada f\u00edsica<\/em> (ex: tecnologias de redes sem fio e redes \u00f3pticas) at\u00e9 <em>de camada de aplica\u00e7\u00e3o<\/em>, passando por <em>mecanismos e tecnologias voltados a sua opera\u00e7\u00e3o correta e eficiente<\/em>. Agrega investiga\u00e7\u00e3o e proposi\u00e7\u00e3o de propostas de natureza <em>anal\u00edtica<\/em> e <em>experimental. <\/em>Aten\u00e7\u00e3o especial \u00e9 dedicada a problemas de grande atualidade e relev\u00e2ncia em redes, tais como: infraestruturas de larga escala (ex: IoT) e os diversos desafios associados, novas arquiteturas para a Internet, mecanismos e protocolos inovadores visando a alto desempenho de redes em ambientes de computa\u00e7\u00e3o em nuvem, propostas de \u201csoftwariza\u00e7\u00e3o&#8221; de redes visando a custos reduzidos de aquisi\u00e7\u00e3o e opera\u00e7\u00e3o, e medi\u00e7\u00e3o, caracteriza\u00e7\u00e3o acurada e an\u00e1lise (<em>analytics<\/em>) de redes e fluxos de aplica\u00e7\u00f5es emergentes.<\/p>\n<p><strong>Temas de Pesquisa:<\/strong><\/p>\n<ul>\n<li><strong>Gerenciamento de Redes e Servi\u00e7os<\/strong>: neutralidade de rede; <em>intent-based networks<\/em>; interconex\u00f5es e <em>peering<\/em>; <em>analytics;<\/em><\/li>\n<li><strong>Medi\u00e7\u00f5es e Desempenho de Redes<\/strong>: caracteriza\u00e7\u00e3o de redes de larga escala; visualiza\u00e7\u00e3o de informa\u00e7\u00f5es;<\/li>\n<li><strong>Softwariza\u00e7\u00e3o de Redes<\/strong>: virtualiza\u00e7\u00e3o de fun\u00e7\u00f5es de rede; redes definidas por software; virtualiza\u00e7\u00e3o de redes; planos de dados program\u00e1veis;<\/li>\n<li><strong>Redes Sem Fio e IoT<\/strong>: redes de r\u00e1dios cognitivos; redes veiculares; redes de sensores; redes de acesso \u00e0 nuvem; redes 5G; comunica\u00e7\u00e3o <em>device-to-device;<\/em><\/li>\n<li><strong>Computa\u00e7\u00e3o em Nuvem e <em>Data Center<\/em><\/strong>: otimiza\u00e7\u00e3o na aloca\u00e7\u00e3o de recursos; gerenciamento de fluxos; fragmenta\u00e7\u00e3o\/desempenho em redes de <em>data center;<\/em><\/li>\n<li><strong>Redes Centradas em Informa\u00e7\u00e3o<\/strong>: mobilidade em ICN; relacionamento de objetos em CCN; roteadores de alto desempenho em ICN.<\/li>\n<\/ul>\n<hr \/>\n<p><strong>\u00c1rea de Concentra\u00e7\u00e3o:<\/strong> Redes de Computadores<br \/>\n<strong id=\"seguranca-cibernetica\">Linha de Pesquisa:<\/strong> Seguran\u00e7a Cibern\u00e9tica<\/p>\n<p><strong>Integrantes:<\/strong><\/p>\n<ul>\n<li>Alberto Egon Schaeffer Filho<\/li>\n<li>Antonio Marinho Pilla Barcellos<\/li>\n<li>Lisandro Zambenedetti Granville<\/li>\n<li>Luciano Paschoal Gaspary<\/li>\n<li>Weverton Luis Da Costa Cordeiro<\/li>\n<\/ul>\n<p><strong>Descri\u00e7\u00e3o: <\/strong>Esta linha aborda diversos aspectos relacionados \u00e0 seguran\u00e7a e privacidade, resili\u00eancia e prote\u00e7\u00e3o de redes e de sistemas. Redes de computadores proveem a estrutura f\u00edsica de comunica\u00e7\u00e3o para aplica\u00e7\u00f5es e constituem uma das principais origens dos problemas abordados. Com o surgimento de redes program\u00e1veis e com a prolifera\u00e7\u00e3o de dispositivos sem-fio, novos desafios precisam ser tratados. A linha de Seguran\u00e7a Cibern\u00e9tica contempla temas de pesquisa voltados a aspectos <em>i<\/em>) algor\u00edtmicos (ex: aprendizagem de m\u00e1quina e otimiza\u00e7\u00e3o), <em>ii<\/em>) te\u00f3ricos (ex: modelagem formal e verifica\u00e7\u00e3o de pol\u00edticas de seguran\u00e7a e de privacidade), e <em>iii<\/em>) pr\u00e1ticos (ex: medi\u00e7\u00f5es de ataques e defesas na Internet, seguran\u00e7a de infraestruturas cr\u00edticas e IoT, <em>privacy-preserving systems<\/em>, <em>etc<\/em>.). Por ser uma \u00e1rea ampla, enfoque \u00e9 dado a temas de pesquisa de alta relev\u00e2ncia cient\u00edfica, em contraposi\u00e7\u00e3o ao uso de tecnologias, ferramentas ou sistemas j\u00e1 estabelecidos.<\/p>\n<p><strong>Temas de Pesquisa:<\/strong><\/p>\n<ul>\n<li><strong>Seguran\u00e7a em Redes Program\u00e1veis<\/strong>: verifica\u00e7\u00e3o de pol\u00edticas de seguran\u00e7a em redes program\u00e1veis (ex: SDN\/NFV\/P4); modelagem formal e an\u00e1lise; <em>model-checking<\/em>; execu\u00e7\u00e3o simb\u00f3lica;<\/li>\n<li><strong>Medi\u00e7\u00f5es de Ataques e Defesas na Internet<\/strong>: metodologias de coleta de dados, an\u00e1lise e infer\u00eancias sobre incid\u00eancia de ataques e popularidade de mecanismos de defesa; detec\u00e7\u00e3o de intrus\u00e3o e anomalias;<\/li>\n<li><strong>Consenso e Privacidade<\/strong>: mecanismos de consenso distribu\u00eddos (ex: Blockchain); metodologias para anonimiza\u00e7\u00e3o e privacidade de dados;<\/li>\n<li><strong>Resili\u00eancia de Redes e de Infraestruturas Cr\u00edticas<\/strong>: redund\u00e2ncia e diversidade de roteamento; sobreviv\u00eancia do plano de dados; prote\u00e7\u00e3o de <em>data centers<\/em>; seguran\u00e7a em Smart Grids;<\/li>\n<li><strong>Seguran\u00e7a em IoT<\/strong>: protocolos de comunica\u00e7\u00e3o segura em redes IoT; coleta e monitoramento de dados de seguran\u00e7a; <em>data analytics<\/em>; privacidade e seguran\u00e7a da informa\u00e7\u00e3o.<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Para oferecer ao candidato uma vis\u00e3o melhor da estrutura de pesquisa no PPGC, segue abaixo uma descri\u00e7\u00e3o das \u00e1reas de concentra\u00e7\u00e3o e linhas de pesquisa e os nomes dos pesquisadores a elas vinculados. \u00c1reas de Concentra\u00e7\u00e3o: Computa\u00e7\u00e3o Visual Computa\u00e7\u00e3o Gr\u00e1fica e Visualiza\u00e7\u00e3o de Dados Processamento de Imagens, Vis\u00e3o Computacional e Reconhecimento de Padr\u00f5es Intera\u00e7\u00e3o Humano-Computador, [&hellip;]<\/p>\n","protected":false},"author":11,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"https:\/\/www.inf.ufrgs.br\/ppgc\/wp-json\/wp\/v2\/pages\/3882"}],"collection":[{"href":"https:\/\/www.inf.ufrgs.br\/ppgc\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.inf.ufrgs.br\/ppgc\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.inf.ufrgs.br\/ppgc\/wp-json\/wp\/v2\/users\/11"}],"replies":[{"embeddable":true,"href":"https:\/\/www.inf.ufrgs.br\/ppgc\/wp-json\/wp\/v2\/comments?post=3882"}],"version-history":[{"count":13,"href":"https:\/\/www.inf.ufrgs.br\/ppgc\/wp-json\/wp\/v2\/pages\/3882\/revisions"}],"predecessor-version":[{"id":6623,"href":"https:\/\/www.inf.ufrgs.br\/ppgc\/wp-json\/wp\/v2\/pages\/3882\/revisions\/6623"}],"wp:attachment":[{"href":"https:\/\/www.inf.ufrgs.br\/ppgc\/wp-json\/wp\/v2\/media?parent=3882"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}