Rede de Colaboração |
Tanara Lauschner
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)
, doutorado
em Informática
pela
Pontifícia Universidade Católica do Rio de Janeiro
(2010)
e curso-tecnico-profissionalizante
em Técnico Pleno Em Eletrônica
pela
Escola Técnica Federal do Amazonas
(1992)
. Atualmente é Professor Adjunto
da
Universidade Federal do Amazonas. Tem experiência
na área de
Ciência da Computação.
Atuando principalmente nos seguintes temas:
Verificação Formal, model checking, redes ad-hoc, protocolo de roteamento, verus e GPSAL.
Última
atualização do currículo em 01/04/2011
Endereço para acessar este CV: http://lattes.cnpq.br/7433400746822554 |
Dados pessoais
| Nome | Tanara Lauschner |
| Nome em citações bibliográficas | LAUSCHNER, T.;Lauschner, Tanara |
| Sexo | Feminino |
| Endereço profissional | Universidade Federal do Amazonas, Reitoria, Pró-Reitoria de Ensino de Graduação. Av. Rodrigo Otávio, 3000 - Campus Universitário - Setor Norte Aleixo 69077-000 - Manaus, AM - Brasil Telefone: (92) 6474019 Fax: (92) 6474022 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 . Grande área: Ciências Exatas e da Terra / Área: Ciência 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. 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 . Palavras-chave: Verificação Formal; model checking; redes ad-hoc; protocolo de roteamento; verus; GPSAL. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Verificação Formal / Especialidade: Model Checking. 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. |
Atuação profissional
| Universidade Federal do Amazonas, UFAM, Brasil. |
| Vínculo institucional |
| 2002 - Atual | Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva. |
| Atividades |
| 03/2003 - Atual | Pesquisa e desenvolvimento . |
|
Linhas de pesquisa Especificação Formal de Agentes Inteligentes para a Web Engenharia de Software Automatizada |
| 07/2002 - Atual | Ensino, Ciência da Computação, Nível: Graduação. |
| Disciplinas ministradas Organização de Computadores Matemática Discreta Arquitetura de Computadores |
| 2008 - 2011 | Atividades de Participação em Projeto, ICE/Departamento de Ciência da Computação, . |
|
Projetos de pesquisa SAUIM Sistema de Monitoramento e Armazenamento de Dados de FaUna Terrestre e MIcro-clima Gerados por Sensores Móveis e Fixos |
| 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 . |
|
Linhas de pesquisa Software básico para central telefonica veirifcação formal especificação formal |
Projetos de 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: altigran - Coordenador / fabiola nakamura - Integrante / Tanara Lauschner - 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: Sistemas de Computação. |
| 4. | Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação /
Especialidade: Arquitetura de Sistemas de Computação. |
Idiomas
| Inglês | Compreende Bem, Fala Bem, Lê Bem, Escreve Bem. |
Produção em C,T & A
| Produção bibliográfica |
| Artigos completos publicados em periódicos |
| 1. |   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. |
| Trabalhos completos publicados em anais de congressos |
| 1. | 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. |
| 2. | 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. |
| 3. | 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. |
| Página gerada pelo Sistema Currículo Lattes em 11/02/2012 às 11:38:40 |