Rede de Colaboração
Diretório de grupos de pesquisa

Liara Aparecida dos Santos Leal

Possui graduação em Bacharelado Em Matemática pela Universidade Federal do Rio Grande do Sul (1978), mestrado em Matemática Aplicada pela Universidade Federal do Rio Grande do Sul (1986) e doutorado em Computação pela Universidade Federal do Rio Grande do Sul (2002). Atualmente é Professor Titular da Pontifícia Universidade Católica do Rio Grande do Sul. Tem experiência na área de Ciência da Computação, com ênfase em Algoritmos Aproximativos, atuando principalmente nos seguintes temas: complexidade computacional, algoritmos aproximativos, teoria das categorias, teoria dos domínios, ensino de calculo e ambiente virtual de aprendizagem.
(Texto informado pelo autor)

Última atualização do currículo em 07/11/2011
Endereço para acessar este CV:
http://lattes.cnpq.br/7622666854751533
Dados pessoais
NomeLiara Aparecida dos Santos Leal
Nome em citações bibliográficasLEAL, Liara Aparecida dos Santos
SexoFeminino
Endereço profissionalPontifícia Universidade Católica do Rio Grande do Sul, Faculdade de Matemática, Departamento de Matemática.
Avenida Ipiranga, 6681 - Prédio 30 - Bloco C - Sala 101.07
Jardim Botânico
90619-900 - Porto Alegre, RS - Brasil - Caixa-Postal: 1429
Telefone: (51) 33203531 Ramal: 219 Fax: (51) 33203631
URL da Homepage: http://www.pucrs.br/famat/liara

Formação acadêmica/Titulação
1996 - 2002Doutorado em Computação .
Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.
Título: Uma Fundamentação Teórica para a Complexidade Estrutural de Problemas de Otimização, Ano de Obtenção: 2002.
Orientador: Dalcidio Moraes Claudio e Laira Vieira Toscani.
Palavras-chave: Algoritmos aproximativos; Complexidade Computacional; Problemas de Otimização; Teoria dos Domínios; Teoria das Categorias; Complexidade Estrutural.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação / Especialidade: Algoritmos Aproximativos.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação / Especialidade: Complexidade Estrutural.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação.
Setores de atividade: Informática; Educação.
1981 - 1986Mestrado em Matemática Aplicada .
Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.
Título: Matrizes Fator-circulantes em Blocos e Aplicações em Equações Diferenciais, Ano de Obtenção: 1986.
Orientador: Julio César Ruiz Claeyssen.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior ,CAPES ,Brasil .
Palavras-chave: Matrizes Fator-circulantes; Equações Diferenciais.
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Matemática Aplicada / Especialidade: Análise Numérica.
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Matemática Aplicada / Especialidade: Matemática Discreta e Combinatória.
1991 - 1992Especialização em Especialização Em Informática na Educação .
Pontifícia Universidade Católica do Rio Grande do Sul, PUCRS, Brasil.
1975 - 1978Graduação em Bacharelado Em Matemática .
Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.

Formação complementar
2008 - 2008 Extensão universitária em Concepções Pedagógicas do Modelo Semipresencial. (Carga horária: 45h).
Pontifícia Universidade Católica do Rio Grande do Sul.
2008 - 2008 Extensão universitária em Oficina: Conheça a PUC no ambiente "Second Life". (Carga horária: 2h).
Pontifícia Universidade Católica do Rio Grande do Sul.
2008 - 2008 Extensão universitária em Semana Nacional de Ciência e Tecnologia: NUMB3RS. (Carga horária: 2h).
Pontifícia Universidade Católica do Rio Grande do Sul.
2007 - 2007 Extensão universitária em Inovação Curricular: Sensibilização para mudanças. (Carga horária: 25h).
Pontifícia Universidade Católica do Rio Grande do Sul.
2007 - 2007 Extensão universitária em Capacitação Docente em EAD. (Carga horária: 60h).
Pontifícia Universidade Católica do Rio Grande do Sul.
2007 - 2007 Extensão universitária em Oficina Moodle. (Carga horária: 20h).
Pontifícia Universidade Católica do Rio Grande do Sul.
2006 - 2006 Extensão universitária em Inovação e Mudança Curricular nos Cursos de Gradua. (Carga horária: 10h).
Pontifícia Universidade Católica do Rio Grande do Sul.
2006 - 2006 Extensão universitária em Avaliação da Aprendizagem na Educação Superior. (Carga horária: 10h).
Pontifícia Universidade Católica do Rio Grande do Sul.
2006 - 2006 Extensão universitária em Inovação no Cenário da Docência Universitária. (Carga horária: 10h).
Pontifícia Universidade Católica do Rio Grande do Sul.
2006 - 2006 Extensão universitária em Uma aplic. de matrizes em comp. gráfica. (Carga horária: 2h).
Pontifícia Universidade Católica do Rio Grande do Sul.
2005 - 2005 Extensão universitária em Módulo de Capacitação: Aprendizagem e Ensino - Con. (Carga horária: 9h).
Pontifícia Universidade Católica do Rio Grande do Sul.
2005 - 2005 Extensão universitária em Empreendedorismo na Educação. (Carga horária: 9h).
Pontifícia Universidade Católica do Rio Grande do Sul.
2003 - 2003 Extensão universitária em Mod. Capac.: Aprendizagem e Ensino - Concep. e Din. (Carga horária: 12h).
Pontifícia Universidade Católica do Rio Grande do Sul.
2002 - 2002 Extensão universitária em Encontro regional de Matemática Aplicada e Computa. (Carga horária: 40h).
Pontifícia Universidade Católica do Rio Grande do Sul.
2000 - 2000 Extensão universitária em I EREEMA - Enc. Regional de Ensino de Est. e Mat.. (Carga horária: 24h).
Pontifícia Universidade Católica do Rio Grande do Sul.

Atuação profissional
Sociedade Brasileira de Matemática Aplicada e Computacional, SBMAC, Brasil.
Vínculo institucional
2005 - 2005 Vínculo: Colaborador, Enquadramento Funcional: Inexistente
Outras informações Comissão de Avaliação de Trabalhos Técnicos
Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.
Vínculo institucional
2004 - 2006 Vínculo: Colaborador, Enquadramento Funcional: Inexistente, Carga horária: 0
Atividades
2004 - 2006Atividades de Participação em Projeto, Instituto de Informática, .
Projetos de pesquisa
Verified Computing Using C - XSC (CAPES/DAAD/PROBRAL)
1997 - 1999Atividades de Participação em Projeto, Instituto de Informática, .
Projetos de pesquisa
Qap-For: Aplicação de Métodos Formais para a Melhoria da Qualidade e Produtividade em Software
Pontifícia Universidade Católica do Rio Grande do Sul, PUCRS, Brasil.
Vínculo institucional
1983 - Atual Vínculo: Celetista, Enquadramento Funcional: Professor Titular, Carga horária: 40
Atividades
04/2011 - AtualEnsino, Métodos Quantitativos: Estatística e Matemática A, Nível: Especialização.
Disciplinas ministradas
Matemática Discreta
03/2011 - AtualAtividades de Participação em Projeto, Faculdade de Matemática, .
Projetos de pesquisa
Projeto MATH: A Matemática da Hora - PROGRAMA DE SEMINÁRIOS DA FAMAT
07/2010 - AtualConselhos, Comissões e Consultoria, Faculdade de Matemática, .
Cargo ou função
Comissão Científica da FAMAT.
05/2009 - AtualConselhos, Comissões e Consultoria, Faculdade de Matemática, .
Cargo ou função
Integrante da Comissão Organizadora do XVI EREMATSUL - Encontro Regional de Estudantes de Matemática da Região Sul - 2010.
03/2009 - AtualConselhos, Comissões e Consultoria, Faculdade de Matemática, .
Cargo ou função
NDE: Núcleo Docente Estruturante da FAMAT.
2008 - AtualAtividades de Participação em Projeto, Faculdade de Matemática, .
Projetos de pesquisa
Vi@Calculo: Suporte Virtual de Aprendizagem ao Calculo
Desenvolvimento de um Ambiente Virtual de Aprendizagem de Calculo: Vi@Calculo
04/2007 - AtualConselhos, Comissões e Consultoria, Faculdade de Matemática, .
Cargo ou função
Integrante da Equipe de Mapeamento da Pesquisa na Unidade.
11/2006 - AtualConselhos, Comissões e Consultoria, Faculdade de Matemática, Departamento de Matemática.
Cargo ou função
Representante na comissão do Forum INOVAPUC.
03/2006 - AtualConselhos, Comissões e Consultoria, Faculdade de Matemática, Departamento de Matemática.
Cargo ou função
Representante da Unidade na Comissão Organizadora do Salão de Iniciação Científica - PUCRS.
3/1983 - AtualEnsino, Engenharia, Nível: Graduação.
Disciplinas ministradas
Cálculo Diferencial e Integral
Análise Matemática
Álgebra Linear e Geometria Analítica
Cálculo Avançado
Matemática para Administração
Cálculo Numérico
Estruturas Algébricas
Lógica e Matemática Computacional
9/2008 - 9/2008Extensão universitária , Faculdade de Matemática, .
Atividade de extensão realizada
Ações Sociais: Atendimento ao público na Feira da Matemática (Carga Horária 7h). Reg. nº 4 p.150. Livro de registros 8.
9/2007 - 9/2007Extensão universitária , Faculdade de Matemática, .
Atividade de extensão realizada
Ações Sociais: Atendimento ao público na Feira de Matemática (Carga horária 8h).
3/2006 - 1/2007Atividades de Participação em Projeto, Faculdade de Matemática, Departamento de Matemática.
Projetos de pesquisa
Teoria das Categorias Aplidada à Computação Científica
9/2006 - 9/2006Extensão universitária , Faculdade de Matemática, .
Atividade de extensão realizada
Ações Sociais: Atendimento ao público na Feira da Matemática (Carga horaria 2h).
8/2003 - 8/2006Atividades de Participação em Projeto, Faculdade de Matemática, Departamento de Matemática.
Projetos de pesquisa
CIA - Computação com Intervalos e Aproximação
8/2003 - 2005Atividades de Participação em Projeto, Faculdade de Matemática, Departamento de Matemática.
Projetos de pesquisa
Ambiente Computacional para Estudo e Pesquisa de Matemática por Conteúdos
CPI - Complexidade de Problemas NP-Difíceis Envolvendo Computações Intervalares
2003 - 2005Atividades de Participação em Projeto, Faculdade de Matemática, .
Projetos de pesquisa
XXVII CNMAC - Congresso Nacional de Matemática Aplicada e Computacional- AOE - FAPERGS - processo 04/0295-1
3/2003 - 2004Atividades de Participação em Projeto, Faculdade de Matemática, Departamento de Matemática.
Projetos de pesquisa
P Versus NP: Um Problema Matemático para o Terceiro Milênio
11/2001 - 2004Atividades de Participação em Projeto, Faculdade de Matemática, Departamento de Matemática.
Projetos de pesquisa
Computação e Educação Matemática
3/1993 - 7/1993Ensino, Especialização em Educação Matemática, Nível: Especialização.
Disciplinas ministradas
Projeto de Integração de Conteúdos I
Faculdade Porto Alegrense de Ciências e Letras, FAPA, Brasil.
Vínculo institucional
1982 - 1983 Vínculo: Celetista, Enquadramento Funcional: Professor titular, Carga horária: 10
Fundação de Ensino Superior da Região Centro Sul, FUNDASUL, Brasil.
Vínculo institucional
1981 - 1982 Vínculo: Servidor público ou celetista, Enquadramento Funcional: Professor titular, Carga horária: 20

Projetos de Pesquisa
2011 - AtualProjeto MATH: A Matemática da Hora - PROGRAMA DE SEMINÁRIOS DA FAMAT
Descrição: Neste projeto apresentamos uma proposta de criação de um Programa de Seminários na Faculdade de Matemática - FAMAT, cujo objetivo é criar um ambiente sistemático de estudo e pesquisa de temas da área de matemática de interesse na atualidade, dando uma resposta à necessidade de divulgar e mostrar a grande variedade de aplicações desta ciência no mundo real. Espera-se contribuir para que os alunos da nova geração encontrem motivação para desenvolverem sua capacidade de pensar cientificamente, adquirindo habilidades para modelar e resolver problemas, além de contribuir para o desenvolvimento de um trabalho inovador, permitindo uma maior interação entre os professores, possibilitando uma melhor integração e colaboração no desenvolvimento de trabalhos em diferentes áreas..
Situação: Em andamento; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação ( 5) .
Integrantes: Dalcidio Moraes Claudio - Integrante / Maria Salett Biembengut Hein - Integrante / Liara Aparecida dos Santos Leal - Coordenador.
Financiador(es): Pontifícia Universidade Católica do Rio Grande do Sul - Bolsa.Número de orientações: 1.
2008 - 2010Desenvolvimento de um Ambiente Virtual de Aprendizagem de Calculo: Vi@Calculo
Descrição: Neste projeto apresentamos uma proposta de criação de uma comunidade virtual de aprendizagem - CVA, cujos protagonistas são professores especialistas nas disciplinas de Cálculo oferecidas, entre outros, para os cursos de Engenharia, Arquitetura, Ciência da Computação, Administração e Licenciatura em Matemática, além de monitores e alunos de graduação da PUCRS. O trabalho a ser desenvolvido ancora-se na estrutura do PUCRS Virtual e pressupõe professores tutores com capacitação em Educação à Distância (EAD)..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 2) / Especialização ( 0) / Mestrado acadêmico ( 0) / Mestrado profissionalizante ( 0) / Doutorado ( 0) .
Integrantes: D M Claudio - Integrante / Luiz Eduardo Ourique - Integrante / Liara Aparecida dos Santos Leal - Coordenador.
Financiador(es): Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul - Bolsa..
2008 - 2009Vi@Calculo: Suporte Virtual de Aprendizagem ao Calculo
Descrição: Neste projeto apresentamos uma proposta de criação de uma comunidade virtual de aprendizagem - CVA, cujos protagonistas são professores especialistas nas disciplinas de Cálculo oferecidas, entre outros, para os cursos de Engenharia, Arquitetura, Ciência da Computação, Administração e Licenciatura em Matemática, além de monitores e alunos de graduação da PUCRS. O trabalho a ser desenvolvido ancora-se na estrutura do PUCRS Virtual e pressupõe professores tutores com capacitação em Educação à Distância (EAD). O objetivo geral deste projeto é melhorar o desempenho dos alunos das disciplinas de Cálculo oferecidas para os cursos de Engenharia, Arquitetura, Ciência da Computação, Administração, Licenciatura em Matemática, entre outros, melhorando a qualidade do nível de aprendizagem e conseqüentemente elevando o percentual de aprovações nas disciplinas. Além disso, pretende-se criar um ambiente virtual de aprendizagem das disciplinas de Cálculo, ministradas na Faculdade de Matemática PUCRS, utilizando a plataforma Moodle, utilizar os recursos da Internet para explorar metodologias de ensino a nível superior na área de Matemática, oferecer um ambiente de apoio que facilite o estudo, explorando os recursos interativos on-line, listas de discussão e fóruns, de modo a facilitar a comunicação entre os participantes dos cursos. Ao mesmo tempo oferece-se ao aluno bolsista, licenciando em Matemática, a oportunidade de vivenciar situações de ensino num ambiente virtual de aprendizagem, possibilitando ao futuro professor de Matemática a descoberta da satisfação de ser parceiro na construção de uma nova era na educação: a era do aprender a aprender..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 2) / Especialização ( 0) / Mestrado acadêmico ( 0) / Mestrado profissionalizante ( 0) / Doutorado ( 0) .
Integrantes: D M Claudio - Integrante / Luiz Eduardo Ourique - Integrante / Liara Aparecida dos Santos Leal - Coordenador.
Financiador(es): Pontifícia Universidade Católica do Rio Grande do Sul - Bolsa..
2006 - 2007Teoria das Categorias Aplidada à Computação Científica
Descrição: Através de uma abordagem categorial para problemas de otimização, procede-se uma investigação de interesse teórico, cujo objetivo é modelar as propriedades estruturais dos problemas de otimização, identificando elementos universais dentro da teoria, tais como "problema completo", "problema difícil", e "esquemas de aproximação". A partir desta abordagem inicial, investiga-se uma interpretação para a hierarquia de aproximação em termos da teoria das categorias. O método de trabalho, alinhado à natureza do tema de pesquisa, consiste primordialmente de análises dedutivas. O embasamento dessas análises será dado através da revisão da bibliografia disponível, primordialmente de textos de referência das áreas de Complexidade Computacional e Teoria das Categorias. Este projeto faz parte de um estudo mais amplo sobre aplicações de Teoria de Categorias em diversas áreas, incluindo mais recentemente, além da Matemática e Informática, as áreas de Geometria, Neurobiologia, Ciências Cognitivas e Inteligência Artificial. Tal estudo tem sido viabilizado através da iniciativa de pesquisadores da Universidade de Salzburg - Áustria e Universidade de Berlim - Alemanha, que são os principais organizadores do workshop internacional ACCAT: Aplied and Computational Category Theory . Acrescenta-se que a partir da apresentação no congresso internacional EUROCAST'2005, realizado na Espanha, a pesquisa desenvolvida no presente projeto foi convidada a integrar-se ao ACCAT, tendo a importante participação como conferência convidada no próximo ACCAT'2006, a realizar-se em Viena, durante o reconhecido evento da comunidade científica européia ETAPS: European Joint Conferences on Theory and Practice of Software . (<http://www.cosy.sbg.ac.at/~jpfalz/ETAPS-2006.html>)..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 1) / Especialização ( 0) / Mestrado acadêmico ( 0) / Mestrado profissionalizante ( 0) / Doutorado ( 0) .
Integrantes: Liara Aparecida dos Santos Leal - Coordenador.
Financiador(es): Pontifícia Universidade Católica do Rio Grande do Sul - Bolsa..
2004 - 2006Verified Computing Using C - XSC (CAPES/DAAD/PROBRAL)
Descrição: Este projeto tem como objetivo principal o desenvolvimento de ferramentas computacionais (software) com validação numérica para ambientes de alto desempenho (cluster de PC's) utilizando a biblioteca C - XSC, em especial o desenvolvimento de solvers com alta exatidão para a resolução paralela de sistemas de equações lineares. Os métodos desenvolvidos nesta pesquisa serão testados do ponto de vista de exatidão e de desempenho, para se poder ter uma idéia clara de sua qualidade numérica. Juntamente com esse desenvolvimento, a biblioteca C- XSC será otimizada e alterada, tornando-se mais amigável ao usuário, em especial na elaboração de programas com uma notação mais próxima à notação matemática usual, similar ao que acontece com a linguagem Pascal - XSC. Além disso, este projeto visa a transferência de tecnologia e conhecimento sobre computação verificada e matemática intervalar da Alemanha para o Brasil, e o intercâmbio de tecnologia e conhecimento sobre Computação de Alto Desempenho do Brasil para a Alemanha. Outro objetivo do projeto que está sendo proposto é o desenvolvimento em conjunto com pesquisadores alemães, de artigos e relatórios científicos referentes aos temas abordados nesta pesquisa..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 9) / Mestrado acadêmico ( 3) / Doutorado ( 1) .
Integrantes: Dalcidio Moraes Claudio - Integrante / Mariana Luderitz Kolberg - Integrante / Tiarajú Asmuz Divério - Coordenador / Gerd Bolender - Integrante / Rudi Klatte - Integrante / Rubia Medianeira Derandin - Integrante / André Martinotto - Integrante / Delcino Piccinini - Integrante / Diego Contessa - Integrante / Paulo sergio Morandi Junior - Integrante / Bernardo Frederes Krämer - Integrante / Marcelo Claro Zembruzki - Integrante / Amalrik Bruno Maia de Oliveira - Integrante / Liara Aparecida dos Santos Leal - Integrante.
Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Cooperação / Deutscher Akademischer Austauschdienst - Cooperação..
2003 - 2007CIA - Computação com Intervalos e Aproximação
Descrição: Principais objetivos do projeto original: Desenvolvimento do projeto de visualização da avaliação intervalar baseado na apresentação gráfica de propriedades dos intervalos; Elaboração de uma teoria de Álgebra Linear Intervalar visando trabalhar com matrizes e vetores intervalares através de uma aritmética intervalar estendida; Formalização de Algoritmos Aproximativos através da Teoria dos Domínios. Principais etapas executadas no período visando o alcance dos objetivos: Determinação de propriedades algébricas do espaço dinâmico bem como relações entre funções e suas diferentes avaliações intervalares; Pesquisas sobre Métodos Intervalares de Ponto Fixo e funções multivaloradas; Estudo/Pesquisa das relações entre visualização e resolução de Métodos Intervalares; Participação em congresso e realização de visitas científicas em Portugal e Alemanha..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 2) / Especialização ( 0) / Mestrado acadêmico ( 4) / Mestrado profissionalizante ( 0) / Doutorado ( 2) .
Integrantes: Dalcidio Moraes Claudio - Coordenador / Guiherme Luís Roëhe Vaccaro - Integrante / Edgar Gomes de Abreu - Integrante / Aline Brum Loretto - Integrante / Carlos Amaral Holbig - Integrante / Denise Matté Giacomolli - Integrante / Mariana Luderitz Kolberg - Integrante / Mônica Lourdes de Souza - Integrante / Tiarajú Asmuz Divério - Integrante / Liara Aparecida dos Santos Leal - Integrante.
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa..
2003 - 2005Ambiente Computacional para Estudo e Pesquisa de Matemática por Conteúdos
Descrição: Este projeto tem como objetivo geral a melhoria do ensino das disciplinas básicas oferecidas pela FAMAT para cursos de graduação da PÙCRS através de novas metodologias educacionais e da inclusão de técnicas de computação, visando contribuir para a aprendizagem e diminuir consequentemente as taxas de reprovação..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 1) / Especialização ( 0) / Mestrado acadêmico ( 0) / Mestrado profissionalizante ( 0) / Doutorado ( 0) .
Integrantes: Dalcidio Moraes Claudio - Coordenador / Guiherme Luís Roëhe Vaccaro - Integrante / Edgar Gomes de Abreu - Integrante / Liara Aparecida dos Santos Leal - Integrante.
Financiador(es): Pontifícia Universidade Católica do Rio Grande do Sul - Bolsa..
2003 - 2005CPI - Complexidade de Problemas NP-Difíceis Envolvendo Computações Intervalares
Descrição: : O principal objetivo deste trabalho é desenvolver uma teoria formal para algoritmos aproximativos, considerados como uma alternativa viável para problemas intratáveis, de tal forma que integre as concepções da Complexidade Estrutural aos fundamentos de estruturas semânticas adequadas. Duas principais questões direcionam o desenvolvimento deste trabalho: - Como podem ser caracterizados qualitativamente aqueles algoritmos que, garantidamente, fornecem soluções aproximadas para problemas de otimização NP-difíceis ? - Como se modelam as relações entre problemas que apresentam diferenciados graus de aproximabilidade, com o objetivo de entender a rica hierarquia entre problemas aproximáveis ? Dentro de uma proposta de investigação de interesse essencialmente teórico, pretende-se: - Desenvolver uma fundamentação matemática segura e unificada para tratar a questão da aproximabilidade de problemas de otimização, privilegiando as propriedades qualitativas desses problemas. - Apresentar novas perspectivas para velhos conceitos, através da busca por modelos adequados, num processo de especialização - no sentido do reconhecimento de que uma estrutura particular é uma instância de um fenômeno mais geral. - Proceder à formalização teórica da Teoria dos Algoritmos Aproximativos, focalizando sobre aspectos relacionados à Complexidade estrutural. - Investigar as propriedades estruturais das classes de problemas de otimização, no contexto de uma classificação mais geral de problemas, considerando também aqueles problemas que não parecem estar incluídos na classe NP. - Apresentar uma interpretação da hierarquia das classes de aproximação, a partir dos modelos semânticos que fundamentam a Teoria dos Algoritmos Aproximativos, fazendo uma extensão da chamada hierarquia polinomial, construída basicamente sobre problemas de decisão, para problemas de otimização. - Pesquisar o impacto da semântica de número-intervalo nas propriedades aritméticas entre intervalos..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 2) / Especialização ( 0) / Mestrado acadêmico ( 4) / Mestrado profissionalizante ( 0) / Doutorado ( 2) .
Integrantes: Dalcidio Moraes Claudio - Coordenador / Guiherme Luís Roëhe Vaccaro - Integrante / Edgar Gomes de Abreu - Integrante / Aline Brum Loretto - Integrante / Carlos Amaral Holbig - Integrante / Denise Matté Giacomolli - Integrante / Mônica Lourdes de Souza - Integrante / Liara Aparecida dos Santos Leal - Integrante.
Financiador(es): Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul - Auxílio financeiro..
2003 - 2005XXVII CNMAC - Congresso Nacional de Matemática Aplicada e Computacional- AOE - FAPERGS - processo 04/0295-1
Descrição: Desde 1978 a Sociedade Brasileira de Matemática Aplicada e Computacional - SBMAC promove anualmente o Congresso Nacional de Matemática Aplicada e Computacional - CNMAC. Esses encontros têm como objetivo reunir a comunidade científica de Matemática Aplicada e Computacional criando um forum para o intercâmbio de idéias e surgimento de parcerias entre os participantes, assim como incentivando e inspirando a platéia de estudantes que comparecem ao evento. Vale mencionar também o significativo crescimento das atividades de ensino, em seus diversos níveis, realizadas nos CNMACs. De 13 a 16 de setembro de 2004, foi realizado o XXVII CNMAC: Congresso Nacional de Matemática Aplicada e Computacional no Campus Central da Pontifícia Universidade Católica do Rio Grande do Sul, em Porto Alegre. O XXVII CNMAC contou com mais de 900 participantes, dos quais 280 profissionais ( pesquisadores, professores e profissionais da indústria) e 450 estudantes (locais e de outras regiões). Durante os quatro dias do congresso ocorreram: 6 minicursos em nível de graduação e pós-graduação; 1 minicurso para professores que atuam no ensino fundamental e médio; 8 atividades de ensino destinadas aos professore que atuam no ensino fundamental e médio; 12 conferências científicas; 7 minissimpósios sobre temas atuais, dos quais participaram pesquisadores de diversos centros de excelência do país e do exterior; 501 comunicações de pesquisa distribuídas em 51 sessões técnicas, com 359 apresentações orais e 142 no formato de poster. Finalmente, 1 apresentação tecnica especial para apresentação dos trabalhos vencedores dos premios da SBMAC: Premio Guilherme de La Penha para a melhor Tese de Doutorado epremio beatriz neves para o melhor trabalho em Iniciação Científica..
Situação: Concluído; Natureza: Extensão.
Integrantes: Guiherme Luís Roëhe Vaccaro - Integrante / Augusto Vieira Cardona - Integrante / Luiz Eduardo Ourique - Integrante / Eliete Biasotto Hauser - Coordenador / Carlos Correa Silva Alves - Integrante / Rubens Sampaio - Integrante / Geraldo Nunes Silva - Integrante / Joyce da Silva Bevilacqua - Integrante / Anamaria Gomide - Integrante / Edson Cataldo - Integrante / Claudia Helena Batistela - Integrante / Virginia Maria Rodrigues - Integrante / Mariana Cassol - Integrante / Perivaldo Alves Perfeito - Integrante / Reinaldo Robert Rosa - Integrante / Liara Aparecida dos Santos Leal - Integrante.
Financiador(es): Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul - Auxílio financeiro..
2003 - 2004P Versus NP: Um Problema Matemático para o Terceiro Milênio
Descrição: Uma questão fundamental na Teoria da Complexidade Computacional, desde o início da década de setenta, é a relação entre as classes P e NP. Será P = NP ?A partir da conjetura P NP, a distinção entre os conjuntos P e NP-P é muito importante e significativa: todos os problemas em P podem ser resolvidos com algoritmo de tempo polinomial, enquanto que todos os problemas em NP-P são intratáveis. Neste projeto pretende-se aprofundar o estudo sobre esta questão, que é considerada um dos mais relevantes problemas de investigação para o terceiro milênio. A importância da questão P versus NP deve-se parcialmente ao sucesso da teoria da NP-completude, como também do interesse da criptografia, já que a existência de um algoritmo eficiente para um problema NP-completo resultaria, por um lado, na solução de muitos problemas práticos encontrados na indústria, mas por outro lado, destruiria a segurança de transações financeiras e outras transações usadas amplamente através da internet..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 1) / Especialização ( 0) / Mestrado acadêmico ( 0) / Mestrado profissionalizante ( 0) / Doutorado ( 0) .
Integrantes: Igor Poltosi - Integrante / Liara Aparecida dos Santos Leal - Coordenador.
Financiador(es): Pontifícia Universidade Católica do Rio Grande do Sul - Bolsa..
2001 - 2004Computação e Educação Matemática
Descrição: O principal objetivo deste trabalho é pesquisar novas possibilidades para o ensino de disciplinas matemáticas em escolas de nível fundamental ou médio, e nos cursos de Licenciatura em Matemática, Física, Química e Biologia. O trabalho será desenvolvido através da criação e testagem de estrtégias metodológicas, apoiadas ou não em computadores, desenvolvidas pelos professores pesquisadores e pelos alunos mestrandos, sendo aplicadas a alunos do ensino fundamental, médio e superior. .
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 2) / Especialização ( 0) / Mestrado acadêmico ( 2) / Mestrado profissionalizante ( 0) / Doutorado ( 0) .
Integrantes: Dalcidio Moraes Claudio - Integrante / Guiherme Luís Roëhe Vaccaro - Integrante / Helena Noronha Cury - Coordenador / Carlos Eduardo da Cunha Pinent - Integrante / Lori Viali - Integrante / Ruth Portanova - Integrante / Liara Aparecida dos Santos Leal - Integrante.
Financiador(es): Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul - Auxílio financeiro..
1997 - 1999Qap-For: Aplicação de Métodos Formais para a Melhoria da Qualidade e Produtividade em Software
Descrição: Pesquisar meios de melhorar a qualidade e produtividade de software através da extensão de um domínio semãntico categórico tipo "full concurrency", chamado autômato são sequencial identificado (ClassNAut) que consiste de uma extensão com suporte para a classe dos autômatos não sequencias (NAut), presenvando todas as caracterírsticas dos NAut, inclusive a composicionalidade diagonal em relação aà reificação. desenvolver um formalismo adequado à descrição e verificação de sistemas concorrentes síncronos, em especial projetos apresentados na linguagem de descrição de hardware VHDL. Ampliar o sistema de classes de projetos e propriedades abrangidas por um catálogo de técnicas de descrição de sistemas acompanhado por técnica corresponde nte de verificação..
Situação: Concluído; Natureza: Pesquisa.
Integrantes: Laira Vieira Toscani - Coordenador / Dalcidio Moraes Claudio - Integrante / Débora Schuch da Rosa - Integrante / Paulo Blauth Menezes - Integrante / Tiarajú Asmuz Divério - Integrante / Leila Ribeiro - Integrante / Marilton Sanchotene de Aguiar - Integrante / Antonio Carlos da Rocha Costa - Integrante / Ruben Gerardo Schneider Sellanes - Integrante / Liara Aparecida dos Santos Leal - Integrante.
Financiador(es): Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul - Auxílio financeiro..

Áreas de atuação
1. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação / Especialidade: Algoritmos Aproximativos.
2. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação / Especialidade: Complexidade Estrutural.
3. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação / Especialidade: Teoria dos Domínios.
4. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação / Especialidade: Teoria das Categorias.
5. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação / Especialidade: Otimização Combinatorial.
6. Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Análise Matemática.

Idiomas
Inglês Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Bem.
Espanhol Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Pouco.

Prêmios e títulos
2008Medalha Irmão Afonso, PUCRS.
2008Destaque IX Salão de Iniciação Científica na Área de Ciencias Exatas ou da Terra, PUCRS.
2008Classificação 3ºlugar Salão de Iniciação Científica- Ed. Internacional, VIII Mostra Científica - Ed. Internacional, I Feira de Extensão - Ed. Internacional - Uruguaiana, PUCRS, Unipampa e UCP-RA.
2008Paraninfa do Curso de Licenciatura Plena em Matemática, PUCRS.
1992Professora Homenageada do Curso de Licenciatura Plena em Matemática, Faculdade de Matemática - PUCRS.
1983Paraninfa do Curso de Licenciatura Plena em Matemática, Faculdade Porto Alegrense de Educação, Ciencias e Letras - FAPA.


Produção em C,T & A
Produção bibliográfica
Artigos completos publicados em periódicos
1.   LEAL, Liara Aparecida dos Santos ; CLAUDIO, D M ; TOSCANI, L V ; MENEZES, P B . Approximation Problems Categories. Lecture Notes in Computer Science, Berlim- Alemanha, v. 3643, p. 09-14, 2005.
2. LORETTO, Aline Brum ; SILVA, Roberto da ; TOSCANI, L V ; RIBEIRO, Leila ; CLAUDIO, D M ; LEAL, Liara Aparecida dos Santos . Amostragem Por Importância para Estimar Valores Esperados: Uma Abordagem com Heurísticas para Problemas Intervalares NP-Difíceis. TEMA. Tendências em Matemática Aplicada e Computacional, v. 6, p. 261-272, 2005.
3.   LEAL, Liara Aparecida dos Santos ; CLAUDIO, Dalcidio Moraes ; TOSCANI, Laira Vieira ; MENEZES, Paulo Blauth . A Categorical Approach to NP-Hard Optimization Problems. Lecture Notes in Computer Science, Alemanha, v. 2809, p. 62-73, 2003.
4.   LEAL, Liara Aparecida dos Santos ; TOSCANI, Laira Vieira ; CLAUDIO, Dalcidio Moraes ; MENEZES, Paulo Blauth . Structural Complexity: A Categorical View. Electronic Journal on Mathematics of Computation, v. 1, p. 1-17, 2003.
5. LEAL, Liara Aparecida dos Santos ; MENEZES, Paulo Blauth ; CLAUDIO, Dalcidio Moraes ; TOSCANI, Laira Vieira . Optimization Problems Categories. Lecture Notes in Computer Science, Alemanha, v. 2178, p. 285-299, 2001.
Textos em jornais de notícias/revistas
1. OURIQUE, L. E. ; LEAL, Liara Aparecida dos Santos ; CLAUDIO, D M . Projeto Vi@Calculo: Desafio e Inovacao no Ensino de Calculo Diferencial e Integral. Revista da ADPUCRS, Porto Alegre, p. 66 - 74, 01 out. 2008.
2. LEAL, Liara Aparecida dos Santos ; CLAUDIO, Dalcidio Moraes ; TOSCANI, Laira Vieira . A Categorical View to Structural Complexity. Wiley InterScience: Journal Home - PAMM, Alemanha, p. 590 - 591, 22 dez. 2004.
3. LEAL, Liara Aparecida dos Santos ; CLAUDIO, Dalcidio Moraes ; MENEZES, Paulo Blauth ; TOSCANI, Laira Vieira . Modelling the Approximation Hierarchy to Optimisation Problems Through Category Theory. International Journal of Computing Anticipatory Systems, Belgica, v. 11, p. 336 - 349, 01 maio 2002.
4. CLAEYSSEN, J. C. R. ; LEAL, Liara Aparecida dos Santos . Diagonalization and Spectral Decomposition of Factor Block Circulant Matrices. Linear Algebra and its Applications, New York, v. 99, p. 41 - 61, 08 fev. 1988.
Trabalhos completos publicados em anais de congressos
1. SCHWANCK, Diogo Israel ; SILVA, Bárbara. B. A. ; LEAL, Liara Aparecida dos Santos . Vi@Calculo: Contribuindo para a Construção do Conhecimento na Era Digital. In: XVI EREMATSUL - Encontro Regional de Estudantes de Matemática do Sul, 2010, Porto Alegre - RS. Encontro Regional de Estudantes de Matemática do Sul - 16ª Edição. Porto Alegre - RS : EDIPUCRS - Editora Universitária da PUCRS, 2010.
2. SILVA, Bárbara. B. A. ; SCHWANCK, Diogo Israel ; LEAL, Liara Aparecida dos Santos ; CLAUDIO, Dalcidio Moraes ; OURIQUE, L. E. . Vi@Calculo. In: XV EREMATSUL - Encontro regional de Estudantes de Matemática da Região Sul, 2009, Criciúma. XV EREMATSUL. Criciúma : UNESC, 2009.
3. LEAL, Liara Aparecida dos Santos ; OURIQUE, L. E. ; CLAUDIO, D M ; SCHWANCK, Diogo Israel ; SILVA, Bárbara. B. A. . Vi@Calculo Comunidade Virtual de Aprendizagem: Desafio e inovação no Ensino de cálculo. In: 1rst International Congress of Mathematics, Engineering and Society, 2009, Curitiba - PR. Anais, 2009.
4. SCHWANCK, Diogo Israel ; SILVA, Bárbara. B. A. ; LEAL, Liara Aparecida dos Santos ; CLAUDIO, Dalcidio Moraes ; OURIQUE, L. E. . Vi@Calculo: Desenvolvimento de um Ambiente Virtual de Aprendizagem de Cálculo. In: VIII Salão de Iniciação Científica - Ed. Internacional, VIII Mostra Científica - Ed. Internacional e I Feira de Extensão - Ed. Internacional, 2008, Uruguaiana - RS. Anais do VIII Salão de Iniciação Científica - Ed. Internacional, VIII Mostra Científica - Ed. Internacional e I Feira de Extensão - Ed. Internacional, 2008.
5. PADILHA, Tiago. X. ; LEAL, Liara Aparecida dos Santos . Teoria dos Conjuntos versus Teoria das Categorias. In: XII EREMATSUL - Encontro Regional de Estudantes de Matemática da Região Sul, 2006, Chapecó. XII EREMATSUL. Chapecó : UNOCHAPECÓ, 2006.
6. NUNURA, C. R. N. ; CLAUDIO, D M ; LEAL, Liara Aparecida dos Santos . A Questão da Avaliação Polinomial na Resolução de um Problema de Engenharia. In: XXVIII CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 2005, São Paulo. XXVIII CNMAC. São Paulo : SBMAC, 2005.
7. LORETTO, Aline Brum ; RIBEIRO, Leila ; CLAUDIO, D M ; LEAL, Liara Aparecida dos Santos ; LONGPRE, L. ; KREINOVICH, V. . If an Exact Interval Computation problem is NP-hard, then the Approximate Problem is also NP-Hard: A Meta-Result. In: CCC'2005 - Computational Complexity Conference, 2005, El Paso. Complexity Abstracts 2005. El Paso : University of Texas, 2005. v. XV.
8. LEAL, Liara Aparecida dos Santos ; CLAUDIO, D M ; MENEZES, P B ; TOSCANI, L V . Approximation Problems Categories. In: EUROCAST'2005 - X European Conference on Computer Aided Systems Theory, 2005, Las Palmas de Gran Canaria. Cast and Tools for Robotics, Vehicular and Communication Systems. Las Palmas de Gran Canaria : A. Quesada-Arencibia, R. Moreno-Diaz Jr, J. C. Rodriguez-Rodriguez, 2005.
9. LEAL, Liara Aparecida dos Santos ; CLAUDIO, D M ; TOSCANI, L V ; MENEZES, P B . A Categorical Approach to NP-Hard Problems. In: EUROCAST'2003 - XIX European Conference on Computer Aided Systems Theory, 2003, Las Palmas de Gran Canaria. Cast and Tools for Complexity in Biological, Physical and Engineering Systems - EUROCAST 2003. Las Palmas de Gran Canaria : Pérez Galdós, S. L. U., 2003. p. 26-28.
10. LEAL, Liara Aparecida dos Santos ; CLAUDIO, Dalcidio Moraes ; TOSCANI, Laira Vieira ; MENEZES, Paulo Blauth . Uma Abordagem Categorial para a Complexidade Estrutural de Problemas de Otimização. In: VII Encontro Regional de Matemática Aplicada e Computacional - ERMAC, 2002, Porto Alegre. VII ERMAC, 2002. p. 101-106.
11. LEAL, Liara Aparecida dos Santos ; MENEZES, Paulo Blauth ; CLAUDIO, Dalcidio Moraes ; TOSCANI, Laira Vieira . Optimization Problems Categories. In: VIII International Conference on Computer Aided Systems Theory and Technology, 2001, Las Palmas de Gran Canaria. Formal Methods and Tools for Computer Science. Las Palmas de Gran Canaria : IUCTC - Universidad de Las Palmas de Gran Canaria, 2001. v. 1. p. 93-96.
12. LEAL, Liara Aparecida dos Santos ; CLAUDIO, Dalcidio Moraes ; TOSCANI, Laira Vieira ; MENEZES, Paulo Blauth . Modelling the Approximation Hierarchy to Optimisation Problems Through Category Theory. In: V International Conference on Computing Anticipatory Systems - CASYS'01, 2001, Liège. Proceedings of CASYS'2001. Liège : Ed. D. Dubois. AIP, 2001. v. 11. p. 336-349.
13. LEAL, Liara Aparecida dos Santos ; MENEZES, P. F. B. ; CLAUDIO, Dalcidio Moraes ; TOSCANI, Laira Vieira . Categorias dos Problemas de Otimização. In: XIV SBES - Simpósio Brasileiro de Engenharia de Software - WMF'2000 - III Workshop on Formal Methods, 2000, João Pessoa. XIV SBES WORKSHOPS - Anais. João Pessoa : SBC, 2000. v. 1. p. 104-109.
14. LEAL, Liara Aparecida dos Santos ; TOSCANI, Laira Vieira ; CLAUDIO, Dalcidio Moraes . Domínios de Scott: Teoria e Aplicações. In: I Workshop sobre Métodos Formais e Qualidade de Software, 1997, Porto Alegre. I Workshop sobre Métodos Formais e Qualidade de Software. Porto Alegre : UFRGS, 1997. p. 62-67.
Resumos expandidos publicados em anais de congressos
1. SCHWANCK, Diogo Israel ; LEAL, Liara Aparecida dos Santos ; CLAUDIO, Dalcidio Moraes ; OURIQUE, L. E. ; SANTANA JUNIOR, Edison. N. . Vi@Calculo: Suporte Virtual de Aprendizagem ao Cálculo. In: IX Salão de Iniciação Científica - PUCRS, 2008, Porto Alegre. IX Salão de Iniciação Científica - PUCRS, 2008.
2. PADILHA, Tiago. X. ; LEAL, Liara Aparecida dos Santos . Teoria dos Conjuntos x Teoria das Categorias. In: VII Salão de Iniciação Científica - PUCRS, 2006, Porto Alegre. VII Salão de Iniciação Científica - PUCRS, 2006.
3. LEAL, Liara Aparecida dos Santos ; CLAUDIO, Dalcidio Moraes ; TOSCANI, Laira Vieira . A Categorical View to Structural Complexity. In: GAMM 2004 - Gesellschaft Für Angewandte Mathematik und Mechanik, 2004, Dresden. GAMM 2004, 2004. p. 219-219.
4. LORETTO, Aline Brum ; TOSCANI, Laira Vieira ; CLAUDIO, Dalcidio Moraes ; LEAL, Liara Aparecida dos Santos ; RIBEIRO, Leila ; SILVA, Roberto da . Is to estimate the expected value of an interval function NP-Hard?. In: 11th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, 2004, Fukuoka. 11th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics. Fukuoka : Kyushu University, 2004.
5. POLTOSI, Igor ; LEAL, Liara Aparecida dos Santos . P x NP: Um problema matemático para o terceiro milenio. In: V Salão de Iniciação Científica - PUCRS, 2003, Porto Alegre. V Salão de Iniciação Científica - PUCRS, 2003.
6. LEAL, Liara Aparecida dos Santos ; CLAUDIO, Dalcidio Moraes ; TOSCANI, Laira Vieira ; MENEZES, Paulo Blauth . A Categorical Approach to NP-Hard Optimization Problems. In: XXV Congresso Nacional de Matemática Aplicada e Computacional, 2002, Nova Friburgo - RJ. XXV CNMAC, 2002.
7. LEAL, Liara Aparecida dos Santos ; CLAUDIO, D M ; TOSCANI, L V . Hierarquias de Complexidade. In: XXII CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 1999, Santos. XXII CNMAC, 1999.
8. LEAL, Liara Aparecida dos Santos ; TOSCANI, Laira Vieira ; CLAUDIO, Dalcidio Moraes . Approximative Algorithms through Scott's Domain Theory. In: OPTIMIZATION'98, 1998, Coimbra - PT. OPTIMIZATION'98, 1998.
Resumos publicados em anais de congressos
1. VELLOSO, V. C. ; LAMB, A. T. ; BRESSAN, P. M. ; SOUZA, M. G. ; LEAL, Liara Aparecida dos Santos . Projeto MATH: A Matemática da Hora - PROGRAMA DE SEMINÁRIOS DA FAMAT. In: Salão de Iniciação Científica - PUCRS, 2011, Porto Alegre. Salão de Iniciação Científica - PUCRS, 2011.
2. LEAL, Liara Aparecida dos Santos ; CLAUDIO, D M . Categorias dos Problemas de Aproximação. In: XXVIII Congresso Nacional de Matemática Aplicada e Computacional, 2005, São Paulo. XXVIII CNMAC - Congresso Nacional de matemática Aplicada e Computacional. São Paulo : SBMAC, 2005.
3. LORETTO, Aline Brum ; TOSCANI, L V ; RIBEIRO, Leila ; LEAL, Liara Aparecida dos Santos ; CLAUDIO, D M ; KREINOVICH, V. ; LONGPRE, L. . If an Exact Interval Computational Problem is NP-Hard, then the Approximate Problem is Also NP-Hard: A Meta-Result. In: Complexity Conference Research Abstracts, 2005, México. Complexity Conference Research Abstracts, 2005. v. XV. p. 11-11.
4. LOUREIRO, C. B. ; CLAUDIO, D M ; LEAL, Liara Aparecida dos Santos . Um Estudo sobre Teoria de Categorias e Intervalos Numéricos. In: XXVIII CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 2005, São Paulo. XXVIII CNMAC. São Paulo : SBMAC, 2005.
5. LORETTO, Aline Brum ; CLAUDIO, Dalcidio Moraes ; LEAL, Liara Aparecida dos Santos ; RIBEIRO, Leila ; SILVA, Roberto da ; TOSCANI, Laira Vieira . Amostragem por Importância em Problemas de Estatística Amostral Intervalar NP-Difíceis. In: XXVII CONGRESSO NACIONAL DE MATEMÁTICA APLICADA E COMPUTACIONAL, 2004, Porto Alegre. XXVII CNMAC, 2004.
6. LORETTO, Aline Brum ; SILVA, Roberto da ; TOSCANI, Laira Vieira ; CLAUDIO, Dalcidio Moraes ; LEAL, Liara Aparecida dos Santos ; RIBEIRO, Leila . Aplicando Heurística em Problema NP-Difícil de Estatística Amostral Intervalar . In: XXVII Congresso Nacional de Matemática Aplicada e Computacional, 2004, Porto Alegre. XXVII Congresso Nacional de Matemática Aplicada e Computacional, 2004.
7. LORETTO, Aline Brum ; TOSCANI, L V ; LEAL, Liara Aparecida dos Santos ; CLAUDIO, D M ; RIBEIRO, Leila ; SILVA, Roberto da . Complexidade de Problemas Intervalares. In: XXVII CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 2004, Porto Alegre. XXVII CNMAC. São Paulo : SBMAC, 2004.
8. LEAL, Liara Aparecida dos Santos ; CLAUDIO, D M ; TOSCANI, L V . A Categorical View to Structural Complexity. In: GAMM'2004 - Gesellschaft für Angewandte Mathematik und Mechanik, 2004, Dresden. GAMM 2004 - Gesellschaft Für Angewandte Mathematik und Mechanik, 2004. p. 219-219.
9. LEAL, Liara Aparecida dos Santos . Towards a Categorical Approach to Structural Complexity. In: XXVI CONGRESSO NACIONAL DE MATEMÁTICA APLICADA E COMPUTACIONAL, 2003, São José do Rio Preto. XXVI CNMAC. São José do Rio Preto : IBELCE - UNESP, 2003.
10. POLTOSI, Igor ; LEAL, Liara Aparecida dos Santos . P versus NP: Um problema matemático para o terceiro milênio. In: XXVI CONGRESSO NACIONAL DE MATEMÁTICA APLICADA E COMPUTACIONAL, 2003, São José do Rio Preto. XXVI CNMAC. São José do Rio Preto : IBILCE - UNESP, 2003.
11. LORETTO, Aline Brum ; CLAUDIO, D M ; TOSCANI, L V ; RIBEIRO, Leila ; LEAL, Liara Aparecida dos Santos . Análise da complexidade do problema de calcular a imagem de uma função polinomial intervalar. In: XXVI Congresso Nacional de Matemática Aplicada e Computacional, 2003, São José do Rio Preto. XXVI CNMAC, 2003. p. 619-619.
12. LEAL, Liara Aparecida dos Santos ; MENEZES, Paulo Blauth ; CLAUDIO, Dalcidio Moraes ; TOSCANI, Laira Vieira . Modelling the Approximation Hierarchy to Optimization Problems Through Category Theory. In: V International Conference on Computing Anticipatory Systems - CASYS'01, 2001, Liège. CASYS'2001 - Computing Anticipatory Systems: Abstract Book. Liège : CHAOS asbl, 2001. v. 1. p. 3-3.
13. LEAL, Liara Aparecida dos Santos ; CLAUDIO, D M ; TOSCANI, L V ; MENEZES, P B . Estudo da Hierarquia de Aproximação para Problemas de Otimização através da Teoria das Categorias. In: XXIV CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 2001, Belo Horizonte. XXIV CNMAC, 2001.
14. LEAL, Liara Aparecida dos Santos ; TOSCANI, Laira Vieira ; CLAUDIO, Dalcidio Moraes . Formalização de Algoritmos Aproximativos através da Teoria dos Domínios. In: XX Congresso Nacional de Matemática Aplicada e Computacional, 1997, Gramado - RS. XX Congresso Nacional de Matemática Aplicada e Computacional. Canoas - RS : La Salle Editora, 1997. p. 372-373.
15. LEAL, Liara Aparecida dos Santos ; TOSCANI, Laira Vieira ; CLAUDIO, Dalcidio Moraes . Extension of the First Kleene's Recursion Theorem. In: II Workshop on computer Arithmetic, Interval and Symbolic Computation, 1996, Recife. XVI Congress of the Brasilian Computer Society, 1996.
16. LEAL, Liara Aparecida dos Santos ; TOSCANI, L V ; CLAUDIO, D M . Algoritmos Aproximativos como Sistemas de Informação. In: XIX CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 1996, Goiãnia. XIX CNMAC, 1996.
Apresentações de Trabalho
1. LEAL, Liara Aparecida dos Santos . A Potência do Infinito. 2011. (Apresentação de Trabalho/Seminário).
2. LEAL, Liara Aparecida dos Santos . A questão PxNP: um desafio para os matemáticos do século XXI. 2011. (Apresentação de Trabalho/Conferência ou palestra).
3. SCHWANCK, Diogo Israel ; SILVA, Bárbara. B. A. ; LEAL, Liara Aparecida dos Santos . Vi@Calculo: Preparando para o ENADE. 2008. (Apresentação de Trabalho/Seminário).
4. LEAL, Liara Aparecida dos Santos . Funções Exponenciais e Logaritmicas. 2007. (Apresentação de Trabalho/Conferência ou palestra).
5.   LEAL, Liara Aparecida dos Santos . Structural Complexy: A Categorical View. 2006. (Apresentação de Trabalho/Conferência ou palestra).
6. PADILHA, Tiago. X. ; LEAL, Liara Aparecida dos Santos . Teoria das Categorias x Teoria dos Conjuntos. 2006. (Apresentação de Trabalho/Seminário).
7. LEAL, Liara Aparecida dos Santos ; CLAUDIO, D M ; TOSCANI, L V . Towards a Categorical Approach to Strutural Complexity. 2003. (Apresentação de Trabalho/Conferência ou palestra).
8. POLTOSI, Igor ; LEAL, Liara Aparecida dos Santos . A questão P vs NP : Um desafio para os matemáticos do século XXI. 2003. (Apresentação de Trabalho/Seminário).
9. LEAL, Liara Aparecida dos Santos ; TOSCANI, Laira Vieira ; CLAUDIO, Dalcidio Moraes . Hierarquias de Complexidade. 1999. (Apresentação de Trabalho/Conferência ou palestra).
10. LEAL, Liara Aparecida dos Santos . Teoria de Domínios: Origem e Aplicações. 1998. (Apresentação de Trabalho/Conferência ou palestra).
11. LEAL, Liara Aparecida dos Santos ; CLAUDIO, D M ; TOSCANI, L V . Approximative Algorithms and Domain Theory. 1997. (Apresentação de Trabalho/Conferência ou palestra).
12. LEAL, Liara Aparecida dos Santos ; CLAUDIO, D M ; TOSCANI, L V . Approximative Algorithms and Domain Theory. 1997. (Apresentação de Trabalho/Conferência ou palestra).
13. LEAL, Liara Aparecida dos Santos . Indução Transfinita - Teorema do Ponto Fixo. 1996. (Apresentação de Trabalho/Conferência ou palestra).
Demais tipos de produção bibliográfica
1. LEAL, Liara Aparecida dos Santos . QUESTÃO 19: ENADE COMENTADO 2008: matemática. Porto Alegre: EDIPUCRS - Editora Universitária da PUCRS, 2011 (Comentário).
2. LEAL, Liara Aparecida dos Santos . QUESTÃO 20: ENADE COMENTADO 2008: matemática. Porto Alegre: EDIPUCRS - Editora Universitária da PUCRS, 2011 (Comentário).
3. LEAL, Liara Aparecida dos Santos . QUESTÃO 45: ENADE COMENTADO 2008: matemática. Porto Alegre: EDIPUCRS - Editora Universitária da PUCRS, 2011 (Comentário).
4.   LEAL, Liara Aparecida dos Santos . Uma Fundamentação Teórica para a Complexidade Estrutural de Problemas de Otimização. Porto Alegre: PPGC - UFRGS, 2002 (Tese de Doutorado).
5. TOSCANI, Laira Vieira ; LEAL, Liara Aparecida dos Santos ; ROSA, D. S. . Uma Introdução à Complexidade Computacional. Pelotas - RS: UFPEL, 1997 (Folheto).
6. LEAL, Liara Aparecida dos Santos . Domínios de Scott : Teoria e Aplicações. Porto Alegre - RS: PPGC - UFRGS, 1997 (Trabalho Individual).
7. LEAL, Liara Aparecida dos Santos . A Teoria de Algoritmos frente à Intratabilidade de Problemas. Porto Alegre - RS: PPGC - UFRGS, 1997 (Exame de Qualificação).
8. LEAL, Liara Aparecida dos Santos . Matrizes Fator-Circulantes em Blocos e Aplicações em Equações Diferencias. Porto Alegre: UFRGS, 1986 (Dissertação de Mestrado).
Produção técnica
Trabalhos técnicos
1. PORTANOVA, Ruth ; LEAL, Liara Aparecida dos Santos . XVI EREMATSUL - Encontro Regional de Estudantes de Matemática do Sul. 2010.
2. PORTANOVA, Ruth ; LEAL, Liara Aparecida dos Santos . XVI EREMATSUL - Encontro Regional de Estudantes de Matemática do Sul. 2009.
3. LEAL, Liara Aparecida dos Santos . Assessoria Técnico-Científica à Fundação Editora da UNESP. 2008.
Demais tipos de produção técnica
1.
LEAL, Liara Aparecida dos Santos . Introdução à Teoria dos Domínios. 1998. .
2.
TOSCANI, Laira Vieira ; LEAL, Liara Aparecida dos Santos . Introdução à Teoria dos Domínios. 1998. (Curso de curta duração ministrado/Extensão).

Bancas
Participação em bancas examinadoras
Dissertações
1. LEAL, Liara Aparecida dos Santos. Participação em banca de Celso Menoti da Silva. O Modelo de Timoshenko em Nanotubos de Carbono Duplo e o Efeito de Van der Waals. 2009. Dissertação (Mestrado em Matemática Aplicada) - Universidade Federal do Rio Grande do Sul.
2. LEAL, Liara Aparecida dos Santos. Participação em banca de Luís Alberto Prates Piccoli. A construção de conceitos em matemática: uma proposta usando tecnologia da informação. 2006 - Pontifícia Universidade Católica do Rio Grande do Sul.
3. LEAL, Liara Aparecida dos Santos. Participação em banca de Mariana Luderitz Kolberg. Redefinição de Expressões Exatas em C-XSC. 2005. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.
4. LEAL, Liara Aparecida dos Santos; BARICHELLO, Liliane Basso; RUIZ, Teresa Tsukazan de. Participação em banca de Ornélio João Wentzel. Uso das Técnicas de Programação Linear no Modelo Econômico de Leontieff. 2003. Dissertação (Mestrado em Matemática Aplicada) - Universidade Federal do Rio Grande do Sul.
Trabalhos de Conclusão de Curso de graduação
1. LEAL, Liara Aparecida dos Santos. Participação em banca de Rochele Daiane D. Bazilio. O uso do computador na educação. 2006. Trabalho de Conclusão de Curso (Graduação em Engenharia) - Pontifícia Universidade Católica do Rio Grande do Sul.
Participação em bancas de comissões julgadoras
Outras participações
1. BATISTELA, C. H.; CABRAL, T. C. B.; LEAL, Liara Aparecida dos Santos. Salão de Iniciação Científica - PUCRS. 2011. Pontifícia Universidade Católica do Rio Grande do Sul.
2. CLAUDIO, D M; LEAL, Liara Aparecida dos Santos; VIALI, Lori. Salão de Iniciação Científica - PUCRS. 2009. Pontifícia Universidade Católica do Rio Grande do Sul.
3. CARDONA, A. V.; OURIQUE, L. E.; LEAL, Liara Aparecida dos Santos. Salão de Iniciação Científica - PUCRS. 2008. Pontifícia Universidade Católica do Rio Grande do Sul.
4. CARDONA, A. V.; VIALI, Lori; LEAL, Liara Aparecida dos Santos. Salão de Iniciação Científica - PUCRS. 2007. Pontifícia Universidade Católica do Rio Grande do Sul.
5. VIALI, Lori; OURIQUE, L. E.; LEAL, Liara Aparecida dos Santos. Salão de Iniciação Científica - PUCRS. 2006. Pontifícia Universidade Católica do Rio Grande do Sul.

Eventos
Participação em eventos
1. EREMATSUL: Encontro Regional de Estudantes de Matemática do Sul.A questão PxNP: um desafio para os matemáticos no século XXI. 2011. (Encontro).
2. XXXIII Congresso Nacional de Matemática Aplicada e Computacional.GMC - Grupo de Matemática da Computação. 2010. (Congresso).
3. 1rst International Congress of Mathematics, Engineering and Society.Vi@Calculo Comunidade Virtual de Aprendizagem: Desafio e Inovação no Ensino de Cálculo. 2009. (Congresso).
4. Seminário Internacional Inovação, Universidade e Relação com a Sociedade. 2009. (Seminário).
5. Seminário de Educação Empreendedora. 2009. (Seminário).
6. Forum da Rede INOVAPUC. 2009. (Encontro).
7. I Encontro de Bolsistas de Iniciação Científica da PUCRS. 2009. (Encontro).
8. III Congresso Nacional Marista de Educação. 2008. (Congresso).
9. IX Salão de Iniciação Científica - PUCRS.Vi@Calculo: Suporte Virtual de Aprendizagem ao Cálculo. 2008. (Congresso).
10. Seminário Internacional de Inovação e Qualidade na Universidade. 2008. (Seminário).
11. Semana Nacional de Ciência e Tecnologia.Vi@Calculo: Preparando para o ENADE. 2008. (Seminário).
12. Forum da Rede INOVAPUC. 2008. (Encontro).
13. Semana Nacional de Ciencia e Tecnologia.Funções Exponenciais e Logarítmicas. 2007. (Seminário).
14. Semana Nacional de Ciência e Tecnologia.Funções Exponenciais e Logaritmicas. 2007. (Seminário).
15. Curso de Capacitação Docente - PUCRS Virtual. 2007. (Oficina).
16. Forum da Rede INOVAPUC. 2007. (Encontro).
17. ETAPS - European Joint Conferences on Theory and Practice of Software.Structural Complexity: A Categorical View. 2006. (Congresso).
18. VII Salão de Iniciação Científica - PUCRS.Teoria dos Conjuntos x Teoria das Categorias. 2006. (Congresso).
19. Semana Nacional de Ciência e Tecnologia.Teoria das Categorias x Teoria dos Conjuntos. 2006. (Seminário).
20. Forum da Rede INOVAPUC. 2006. (Encontro).
21. XXVIII CNMAC - Congresso Nacional de Matemática Aplicada e Computacional.Categorias dos Problemas de Aproximação. 2005. (Congresso).
22. EUROCAST'2005 - X European Conference on Computer Aided Systems Theory.Approximation Problems Categories. 2005. (Congresso).
23. Capacitação Docente na PUCRS - Vivências e Visão de Futuro. 2005. (Seminário).
24. Capacitação Docente na PUCRS - Empreendedorismo em Educação. 2005. (Seminário).
25. XXVII CNMAC - Congresso Nacional de Matemática Aplicada e Computacional.Complexidade de Problemas Intervalares. 2004. (Congresso).
26. GAMM'2004 - Gesellschaft für Angewandte Mathematik und Mechanik.A Categorical View to Structural Complexity. 2004. (Congresso).
27. XXVI CNMAC - Congresso Nacional de Matmética Aplicada e Computacional.Towards a Categorical Approach to Structural Complexity. 2003. (Congresso).
28. EUROCAST'2003 - XIX European Conference on Computer Aided Systems Theory.A Categorical Approach to NP-Hard Optimization Problems. 2003. (Congresso).
29. V Salão de Iniciação Científica - PUCRS.P x NP: Um problema matemático para o terceiro milenio. 2003. (Congresso).
30. Projeto Reflexões - PUCRS: Reforçando o nosso Compromisso Institucional. 2003. (Seminário).
31. I Ciclo de Seminários de Matemática.A questão P x NP: Um desafio para os matemáticos do século XXI. 2003. (Seminário).
32. Projeto Reflexões - PUCRS. 2002. (Encontro).
33. XXIV CNMAC - Congresso Nacional de Matemática Aplicada e Computacional.Estudo da Hierarquia de Aproximação para Problemas de Otimização. 2001. (Congresso).
34. EUROCAST'2001 - XVIII European Conference on Computer Aided Systems Theory.Optimization Problems Categories. 2001. (Congresso).
35. XIV SBES - Simpósio Brasileiro de Engenharia de Software - III Workshop de Métodos Formais.Categorias dos Problemas de Otimização. 2000. (Simpósio).
36. XXII CNMAC - Congresso Nacional de Matemática Aplicada e Computacional.Hierarquias de Complexidade. 1999. (Congresso).
37. OPTIMIZATION'98.Approximative Algorithms Through Scott's Domain Theory. 1998. (Congresso).
38. V ERMAC - Encontro Regional de Matemática Aplicada e Computacional.Teoria dos Domínios: Origens e Aplicações. 1998. (Encontro).
39. XX CNMAC - Congresso Nacional de Matemática Aplicada e Computacional.Formalização de Algoritmos Aproximativos através da Teoria dos Domínios. 1997. (Congresso).
40. XIX CNMAC - Congresso Nacional de Matemática Aplicada e Computacional.Algoritmos Aproximativos como Sistemas de Informação. 1996. (Congresso).
41. XVI Congress of the Brasilian Computer Society - II Workshop on Computer Arithmetics, Interval and Symbolic Computation.Extension of the Kleene's Recursion Theorem. 1996. (Congresso).
Organização de eventos
1. LEAL, Liara Aparecida dos Santos ; PORTANOVA, Ruth . XVI EREMATSUL - Encontro Regional de Estudantes de Matemática do Sul. 2010. (Congresso).
2. LEAL, Liara Aparecida dos Santos . XXVII CNMAC - Congresso Nacional de Matemática Aplicada e Computacional. 2004. (Congresso).
3. LEAL, Liara Aparecida dos Santos ; CLAUDIO, Dalcidio Moraes . Minissimpósio: A Matemática Intervalar no Brasil: Origens e o Estado da Arte. 2004. (Congresso).

Orientações
Orientações em andamento
Iniciação científica
1. Vinícius Camargo Velloso. Projeto MATH: A Matemática da Hora - PROGRAMA DE SEMINÁRIOS DA FAMAT. Início: 2011. Iniciação científica (Graduando em Matemática - LP) - Pontifícia Universidade Católica do Rio Grande do Sul, Pontifícia Universidade Católica do Rio Grande do Sul. (Orientador).
Supervisões e orientações concluídas
Iniciação Científica
1. Barbara Bernardine Almeida da Silva. Vi@Calculo. 2008. Iniciação Científica. (Graduando em Licenciatura Plena em Matemática) - Pontifícia Universidade Católica do Rio Grande do Sul, Pontifícia Universidade Católica do Rio Grande do Sul. Orientador: Liara Aparecida dos Santos Leal.
2. Diogo Israel Schwanck. Desenvolvimento de um Ambiente Virtual de Aprendizagem de Calculo: Vi@Calculo. 2008. Iniciação Científica. (Graduando em Licenciatura Plena em Matemática) - Pontifícia Universidade Católica do Rio Grande do Sul, Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul. Orientador: Liara Aparecida dos Santos Leal.
3. Tiago Xavier Padilha. ACCAT: Teoria das Categorias Aplicada a Computação Científica. 2006. Iniciação Científica. (Graduando em Licenciatura Plena em Matemática) - Pontifícia Universidade Católica do Rio Grande do Sul, Pontifícia Universidade Católica do Rio Grande do Sul. Orientador: Liara Aparecida dos Santos Leal.
4. Igor Poltosi. P x NP : Um Problema Matemático para o Terceiro Milênio. 2003. Iniciação Científica. (Graduando em Ciencia da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul, Pontifícia Universidade Católica do Rio Grande do Sul. Orientador: Liara Aparecida dos Santos Leal.

Outras informações relevantes 
Com apoio financeiro de projetos de pesquisa financiados pelas agências de fomento (CNPq, CAPES, FAPERGS) e  da PUCRS, foi possível realizar intercâmbios e fortalecer a cooperação entre instituições nacionais e internacionais. Algumas missões científicas realizadas durante o Curso de Doutorado em Ciência da Computação foram:
  1. Visita Científica: Mar/2006 em Fachbereich INFORMATIK - Universität Salzburg, Salzburg - Austria.


  2. Visita Científica: Fev/2001em Mathematics Institute - Stirling University, Stirling - Escócia.


  3. Doutorado-Sanduíche: De Jul/1998 a Nov/ 1998  em  Department of Computer Science - University of Edinburgh, Edimburgo - Escócia, sob a orientação do Prof. Dr. Martín Escardó.

 4. Visita Científica: Jul/1998 Departamento de Matemática da Universidade de Coimbra - Coimbra - Portugal

  5. Visita Científica: Nov/1997 em Tulane University, New Orleans, EUA.

  6. Visita Científica: Dez/1996 em Institut für Angewandte Mathematik - Universität Karlsruhe, Karlsruhe - Alemanha e Hochschule für Technik, Wirtschaft und Kultur Leipzig, Leipzig - Alemanha. 
.
Página gerada pelo Sistema Currículo Lattes em 11/02/2012 às 17:08:25