Tanara Lauschner

  • Endereço para acessar este CV: http://lattes.cnpq.br/7433400746822554
  • Última atualização do currículo em 05/10/2018


Possui graduação em Engenharia Elétrica pela Universidade Federal do Amazonas (1998), mestrado em Ciências da Computação pela Universidade Federal de Minas Gerais (2002) e doutorado em Informática pela Pontifícia Universidade Católica do Rio de Janeiro (2010). Atualmente é professor adjunto da Universidade Federal do Amazonas e conselheiro do Conselho Gestor da Internet. Tem experiência na área de Ciência da Computação, com ênfase em Ciência da Computação, atuando principalmente nos seguintes temas: constraint revision, description logic, mediated schema e database integration. (Texto informado pelo autor)


Identificação


Nome
Tanara Lauschner
Nome em citações bibliográficas
LAUSCHNER, T.;Lauschner, Tanara

Endereço


Endereço Profissional
Universidade Federal do Amazonas, IComp - Instituto de Computação.
Av. Rodrigo Otávio, 3000 - Campus Universitário - Setor Norte
Aleixo
69077000 - Manaus, AM - Brasil
Telefone: (92) 33051181
Ramal: 2808
URL da Homepage: http://www.dcc.fua.br/~tanara


Formação acadêmica/titulação


2005 - 2010
Doutorado em Informática.
Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil.
Título: Modelagem de restrições de esquemas mediados, Ano de obtenção: 2010.
Orientador: Marco Antonio Casanova.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação.
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Banco de Dados.
Setores de atividade: Atividades de Banco de Dados; Desenvolvimento de Programas (Software).
1999 - 2002
Mestrado em Ciências da Computação.
Universidade Federal de Minas Gerais, UFMG, Brasil.
Título: Verificação Formal de Protocolos de Roteamento de Redes Móveis Ad-hoc,Ano de Obtenção: 2002.
Orientador: Sérgio Vale Aguiar Campos.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Palavras-chave: Verificação Formal; model checking; redes ad-hoc; protocolo de roteamento; verus; GPSAL.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação.
Setores de atividade: Informática; Desenvolvimento de Programas (Software) e Prestação de Serviços em Informática.
1993 - 1998
Graduação em Engenharia Elétrica.
Universidade Federal do Amazonas, UFAM, Brasil.
1989 - 1992
Curso técnico/profissionalizante em Técnico Pleno Em Eletrônica.
Escola Técnica Federal do Amazonas, ETFAM, Brasil.




Atuação Profissional



Universidade Federal do Amazonas, UFAM, Brasil.
Vínculo institucional

2010 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Regime: Dedicação exclusiva.

Vínculo institucional

2002 - 2010
Vínculo: Servidor Público, Enquadramento Funcional: Professor Assistente, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

03/2017 - Atual
Direção e administração, Conselho de Administração, .

Cargo ou função
Conselheira.
03/2017 - Atual
Direção e administração, IComp - Instituto de Computação, .

Cargo ou função
Diretora.
03/2003 - Atual
Pesquisa e desenvolvimento .

07/2002 - Atual
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Arquitetura de Computadores
Matemática Discreta
Organização de Computadores
04/2002 - Atual
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Arquitetura de Computadores, Matemática Discreta, Organização de Computadores, Informática, ética e Sociedade, Sistemas Lógicos.

Fundação Centro de Análise Pesquisa e Inovação Tecnológica, FUCAPI, Brasil.
Vínculo institucional

1998 - 2002
Vínculo: Outro, Enquadramento Funcional: Profissional de Engenharia, Carga horária: 44, Regime: Dedicação exclusiva.

Atividades

12/1998 - 07/2002
Pesquisa e desenvolvimento , Fundação Centro de Análise Pesquisa e Inovação Tecnológica, .


Conselho Gestor da Internet, CGI.BR, Brasil.
Vínculo institucional

2017 - Atual
Vínculo: Conselheira Titular, Enquadramento Funcional: Conselheiro
Outras informações
O Comitê Gestor da Internet no Brasil tem a atribuição de estabelecer diretrizes estratégicas relacionadas ao uso e desenvolvimento da Internet no Brasil e diretrizes para a execução do registro de Nomes de Domínio, alocação de Endereço IP (Internet Protocol) e administração pertinente ao Domínio de Primeiro Nível ".br". Também promove estudos e recomenda procedimentos para a segurança da Internet e propõe programas de pesquisa e desenvolvimento que permitam a manutenção do nível de qualidade técnica e inovação no uso da Internet.



Linhas de pesquisa


1.
Software básico para central telefonica
2.
veirifcação formal
3.
especificação formal
4.
Especificação Formal de Agentes Inteligentes para a Web


Projetos de pesquisa


2018 - Atual
Makers 4.0: Pensamento Computacional e Cultura Maker na Educação 4.0
Descrição: Esta Proposta se divide em dois projetos distintos que atendem às exigências do edital. O primeiro é voltado ao Ensino Médio e abrange os municípios de Manaus, Coari e Itacoatiara. O segundo é voltado à Pós-Graduação Stricto Sensu do Programa de Pós Graduação em Informática da UFAM, visando contemplar uma turma fora de sede no município de Parintins.O Projeto visa levar pensamento computacional e cultura Maker às escolas de ensino médio visando principalmente o envolvimento das meninas..
Situação: Em andamento; Natureza: Pesquisa.
2017 - Atual
ATMOSPHERE (Adaptive, Trustworthy, Manageable, Orchestrated, Secure, Privacy-assuring, Hybrid Ecosystem for REsilient Cloud Computing)
Descrição: Descrição: ATMOSPHERE (Adaptive, Trustworthy, Manageable, Orchestrated, Secure, Privacy-assuring, Hybrid Ecosystem for REsilient Cloud Computing) é um projeto de 24 meses aprovado na 4th BR-UE Coordinated Call do programa H2020-EUB-2017 no tópico sobre Cloud Computing. Seu objetivo é projetar e desenvolver um ecossistema composto por um arcabouço e uma plataforma que possibilitem a implementação da próxima geração de serviços de nuvem confiáveis sobre um conjunto híbrido e intercontinental de recursos federados. O arcabouço considera um amplo espectro de propriedades de confiabilidade e suas medidas. A plataforma suporta o desenvolvimento, a construção, a implantação, a medição e a evolução de recursos de nuvem confiáveis, serviços de gerenciamento de dados e serviços de processamento de dados, e é demonstrado em um cenário sensível que consiste em um aplicativo confiável e confiável para a telemedicina distribuída na nuvem. São participantes do projeto, várias universidades brasileiras - Universidade Federal de Campina Grande (UFCG), Universidade Federal de Minas Gerais (UFMG), Universidade Estadual de Campinas (UNICAMP), Universidade Federal do Amazonas (UFAM), Universidade de Brasília (UnB) - várias universidades europeias - Universitat Politècnica de València (UPV), Universidade de Coimbra (UC), Politecnico di Milano (POLIMI), Technische Universität Dresden (TUD), University of Piraeus Research Center (UPRC) - além de empresas de várias nacionalidades - Trust-IT Services Ltd (Trust-IT), QUantitative Imaging Biomarkers In Medicine (QUIBIM), EMC ISRAEL ADVANCED INFORMATION TECHNOLOGIES LTD (DELL-EMC), DELL-EMC, KUNUM.. Situação: Em andamento; Natureza: Pesquisa..
Situação: Em andamento; Natureza: Pesquisa.
2008 - 2011
SAUIM Sistema de Monitoramento e Armazenamento de Dados de FaUna Terrestre e MIcro-clima Gerados por Sensores Móveis e Fixos
Descrição: Este projeto propõe-se a investigar a aplicação de Redes de Sensores sem Fio e de Bancos de Dados de Sensores ao monitoramento e armazenamento de dados de espécimes de fauna terrestre e micro-clima em um ambiente típico da região amazônica. Tal estudo abrange desde a investigação teórica e experimental do problema através de simulação, até a implementação real de uma Rede de Sensores em campo para o monitoramento de populações de espécimes do primata Saguinus Bicolor, popularmente conhecido como sauim-de-coleira, que habitam áreas urbanas nas cercanias de Manaus, notadamente o Campus da UFAM..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (2) .
Integrantes: Tanara Lauschner - Integrante / altigran - Coordenador / fabiola nakamura - Integrante.


Projetos de extensão


2015 - Atual
Programa Cunhantã Digital
Descrição: O Projeto Cunhantã Digital pretende estimular o aumento do quantitativo feminino na área de exatas com foco em tecnologia e computação. A ideia é despertar o interesse de alunas do ensino médio/tecnológico e/ou dos anos finais do ensino fundamental, e motivá-las a seguir carreira em Computação. O projeto também visa fomentar o debate de gênero na academia e no mercado de trabalho tecnológico contribuindo para a formação de profissionais mais engajados tanto em busca da emancipação individual de cada mulher, quanto da consciência coletiva necessária à superação de preconceitos e tabus, desmistificando a visão tradicional de que as áreas tecnológicas são masculinas. As ações do Projeto são diversificadas: oferta de minicursos e oficinas; realização de dinâmicas; levantamentos de dados e publicações científicas; palestras com estudantes e profissionais que já atuam na área compartilhando suas experiências..
Situação: Em andamento; Natureza: Extensão.
Alunos envolvidos: Graduação: (10) / Mestrado acadêmico: (2) / Doutorado: (1) .
Integrantes: Tanara Lauschner - Coordenador / fabiola nakamura - Integrante / rosiane de freitas - Integrante / tayana conte - Integrante.


Projetos de desenvolvimento


2013 - Atual
SciTechGirl's Project
Descrição: The AciTech Girl´s is a project to empower young women leaders in computer science. By providing a fun and safe environment in which to explore computing, encourages and supports university women at ICOMP to become producers of future innovations in technology and help solve challenges in the world today..
Situação: Em andamento; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (10) .
Integrantes: Tanara Lauschner - Coordenador / fabiola nakamura - Integrante / rosiane de freitas - Integrante / tayana conte - Integrante.


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Banco de Dados.
3.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Mulheres na Computação.
4.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação.
5.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Arquitetura de Sistemas de Computação.


Idiomas


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


Produções



Produção bibliográfica
Artigos completos publicados em periódicos

1.
Casanova, Marco A.2010 Casanova, Marco A. ; LAUSCHNER, T. ; Paes Leme, Luiz André P. ; Breitman, Karin K. ; Furtado, Antonio L. ; Vidal, Vânia M.P. . Revising the constraints of lightweight mediated schemas. Data & Knowledge Engineering, v. 69, p. 1274-1301, 2010.

2.
CASANOVA, Marco A.2010CASANOVA, Marco A. ; LAUSCHNER, T. ; LEME, Luiz André P. ; BREITMAN, Karin K. ; Furtado, Antonio L. ; Vidal, Vânia M.P. . Revising the Constraints of Lightweight Mediated Schemas. Data & Knowledge Engineering, v. 69, p. 1274-1301, 2010.

3.
CASANOVA, M. A.2010CASANOVA, M. A. ; LAUSCHNER, T. ; LEME, L.A.P.P. ; BREITMAN, K.K. ; FURTADO, A.L. ; VIDAL, V.M.P. . Revising the Constraints of Lightweight Mediated Schemas. Data & Knowledge Engineering, v. 69, p. 1274-1301, 2010.

4.
CASANOVA, M. A.2010CASANOVA, M. A. ; LAUSCHNER, T. ; Leme, Luiz André P. ; BREITMAN, K. K. ; FURTADO, A. L. ; VIDAL, V. . Revising the constraints of lightweight mediated schemas. Data & Knowledge Engineering, v. 69, p. 1274-1301, 2010.

Trabalhos completos publicados em anais de congressos
1.
CARVALHO, R. ; LAUSCHNER, T. ; LOBO, L. ; NAKAMURA, F. . Encouraging Women to Pursue a Computer Science Career in the Context of a Third World Country. In: IEEE Frontiers in Education Conference (FIE), 2018, San Francisco. Frontier in Education, 2018.

2.
FREITAS, R. ; NAKAMURA, F. ; Lauschner, Tanara ; ALMEIDA, T. ; MACHADO, A. L. ; LOBO, L. . Undergraduate women in Computing: where did they come from, how are they and where they are going?. In: IX Congreso de la Mujer Latinoamericana en la Computación, 2017, Córdoba-AR. 46JAIIO - LAWCC, 2017. p. 77-83.

3.
CASANOVA, ; LAUSCHNER, T. ; Paes Leme, Luiz André P. ; Breitman, Karin K. ; Furtado, Antonio L. ; Vidal, Vânia M.P. . Modeling the Mediated Schema Constraints. In: 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2010, oxford. 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2010. p. 393-402.

4.
LAUSCHNER, T.; Casanova, Marco A. ; Vidal, Vânia M.P. ; Furtado, Antonio L. . Efficient Decision Procedures for Query Containment and Related Problems. In: XXIV Simpósio Brasileiro de Banco de Dados, 2009, Fortaleza. Anais do XXIV SBBD. Porto Alegre: Sociedade Brasileira de Computação, 2009. v. 1. p. 1-15.

5.
CASANOVA, ; LAUSCHNER, T. ; Paes Leme, Luiz André P. ; Breitman, Karin K. ; Vidal, Vânia M.P. . A Strategy to Revise the Constraints of the Mediated Schema. In: 28th International Conference on Conceptual Modeling (ER 2009), 2009, Gramado. 28th Int'l. Conf. on Conceptual Modeling (ER 2009). Berlin: Springer, 2009. v. 5829. p. 265-279.

Resumos expandidos publicados em anais de congressos
1.
LAUSCHNER, T.; NAKAMURA, F. ; GOMES, L. L. A. ; FREITAS, R. ; ALMEIDA, T. ; MACHADO, A. L. . Participação feminina em cursos de computação: um estudo no Instituto de Computação da Universidade Federal do Amazonas. In: 11 WIT, 2017, São Paulo / SP. Anais do XXXVII congresso da sociedade brasileira de computação, 2017. p. 1233-1237.

2.
NAKAMURA, F. ; LAUSCHNER, T. ; FREITAS, R. ; ALMEIDA, T. . Hora do Vestibular: o que as estudantes do ensino médio almejam fazer?. In: 11 WIT, 2017, São Paulo / SP. XXXVII congresso da sociedade brasileira de computação, 2017. p. 1238-1242.

3.
NAKAMURA, F. ; ALMEIDA, T. ; FREITAS, R. ; LAUSCHNER, T. . Brazilian High School Girls: What Drives Their Career Choices?. In: IX Congreso de la Mujer Latinoamericana en la Computación, 2017, Córdoba-AR. IXLAWCC. Cordoba: JAIIO, 2017. p. 69-76.

Resumos publicados em anais de congressos
1.
LAUSCHNER, T.; FREITAS, R. ; NAKAMURA, F. ; GOMES, L. L. A. . Cunhantã Digital: programa de incentivo a participação de mulheres da região amazônica na Computação e áreas afins. In: CSBC 2016, 2016, PORTO ALEGRE / RS. CSBC 2016 - 10 WIT, 2016.

Apresentações de Trabalho
1.
LAUSCHNER, T.. Diálogo de gerações: Pioneiros da Internet e novas Lideranças. 2017. (Apresentação de Trabalho/Simpósio).

2.
LAUSCHNER, T.. Sessão plenária: Cibersegurança (Moderação). 2017. (Apresentação de Trabalho/Simpósio).

3.
LAUSCHNER, T.. Contribuindo para o Equilíbrio de gênero em TI. 2017. (Apresentação de Trabalho/Conferência ou palestra).


Produção técnica
Entrevistas, mesas redondas, programas e comentários na mídia
1.
LAUSCHNER, T.; FRIGO, L. B. . Reunião dos Projetos Parceiros do Programa Meninas Digitais. 2016. (Programa de rádio ou TV/Mesa redonda).

2.
LAUSCHNER, T.; GRANVILLE, L. Z. ; BATISTA, T. V. ; Breitman, Karin K. ; MACIEL, C. ; BIM, S. A. . Desafios para termos mais mulheres na Computação. 2016. (Programa de rádio ou TV/Mesa redonda).

3.
LAUSCHNER, T.; GRAZZIOTIN, V. ; Breitman, Karin K. ; CAPELLI, C. ; FREITAS, R. . Painel Mulheres em TI? Talking Control. 2015. (Programa de rádio ou TV/Mesa redonda).


Demais tipos de produção técnica


Eventos



Participação em eventos, congressos, exposições e feiras
1.
www2018 - The Web Conference. Bridging natural and artificial intelligence worldwide. 2018. (Congresso).

2.
ICANN60 - Annual General. Annual General Meeting. 2017. (Congresso).

3.
IGF2018 - Internet Governance Forum. Shape your digital future!. 2017. (Congresso).

4.
The Conference Web Brasil.Contribuindo para o Equilíbrio de Gênero na Tecnologia. 2017. (Seminário).

5.
VIII Seminário sobre Privacidade e Proteção de Dados Pessoais.A proteção da privacidade e dos dados pessoais na área da saúde. 2017. (Seminário).


Organização de eventos, congressos, exposições e feiras
1.
LAUSCHNER, T.; CAPELLI, C. . 12o. Women in Information Technology (WIT). 2018. (Congresso).

2.
LAUSCHNER, T.; BIM, S. A. . 11º WIT - Women in Information Technology - CSBC 2017. 2017. (Congresso).

3.
LAUSCHNER, T.; NAKAMURA, F. ; FREITAS, R. . I Fórum Cunhantã Digital. 2016. (Outro).

4.
LAUSCHNER, T.; CONTE, T. ; FREITAS, R. . Workshop Cunhantã Digital - Encontro de Mulheres em áreas de TI. 2015. (Outro).

5.
FREITAS, R. ; CONTE, T. ; NAKAMURA, F. ; LAUSCHNER, T. . 3rd International Women's Hackathon - Brasil site. 2015. (Festival).

6.
FREITAS, R. ; CONTE, T. ; NAKAMURA, F. ; LAUSCHNER, T. . 2sd International Women's Hackathon - Brasil site. 2014. (Festival).

7.
CONTE, T. ; LAUSCHNER, T. ; ALTIGRAN, ; CAVALCANTI, J. M. B. ; MOURA, E. S. ; SARAIVA, P. C. . XVII Simpósio Brasileiro de Banco de Dados e XVII Simpósio Brasileiro de Engenharia de Software. 2003. (Congresso).



Educação e Popularização de C & T



Apresentações de Trabalho
1.
LAUSCHNER, T.. Diálogo de gerações: Pioneiros da Internet e novas Lideranças. 2017. (Apresentação de Trabalho/Simpósio).




Página gerada pelo Sistema Currículo Lattes em 10/12/2018 às 3:14:23