Débora Schuch da Rosa

possui graduação em Tecnologia em Processamento de Dados pela Universidade Católica de Pelotas (1993), mestrado em Ciências da Computação pela Universidade Federal do Rio Grande do Sul (1997) e doutorado em Information and Communication Technologies - Università Degli Studi Di Trento (2007). Atualmente atua como pesquisadora no CNRS - Centre Nationale de la Recherche Scientifique, em Paris, no grupo Cognitive Agents and Automated Symbolic Learning e é professora assistente da Pontifícia Universidade Católica do Rio Grande do Sul, licenseada para aperfeiçoamento profissional no exterior, e, ainda, especializanda em Educação a Distânciia, via e-learning, pela Rede EAD Senac. Tem experiência na área de Ciência da Computação, com ênfase em Computabilidade e Modelos de Computação, atuando principalmente nos seguintes temas: linguagens formais, análise estática, engenharia de modelagem dirigida, algoritmos, complexidade computacional, estatística e sistema estatístico.

Informações coletadas do Lattes em 16/10/2022

Acadêmico

Formação acadêmica

Doutorado em Information and Communication Technologies

2002 - 2007

Università degli studi di Trento
Título: Modeling and Static Analisys of Complex Biological Systems
Orientador: Corrado Priami
com Bolsista do(a): Università Degli Studi Di Trento, UNITN, Itália. Palavras-chave: Métodos Formais em Engenharia de Software; Bioinformática.Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Computabilidade e Modelos de Computação.

Mestrado em Computação

1994 - 1997

Universidade Federal do Rio Grande do Sul
Orientador: Laira Vieira Toscani
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico. Palavras-chave: Algoritmos; Complexidade Computacional; Probabilidade.Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Análise de Algoritmos e Complexidade de Computação. Setores de atividade: Informática; Educação.

Especialização em andamento em Educação a Distância

2007 - Atual

Rede EAD Senac

Graduação interrompida em 2001 em Curso de Direito

1998 - interrompida

Universidade do Vale do Rio dos Sinos
Ano de interrupção: 2001

Graduação em Tecnologia Em Processamento de Dados

1990 - 1993

Universidade Católica de Pelotas

Curso técnico/profissionalizante em Habilitação Magistério

1987 - 1990

Colégio São José

Ensino Fundamental (1º grau)

1979 - 1986

Escola Estadual de 1 e 2 Graus Cassiano do Nascimento

Pós-doutorado

2007 - 0000

Pós-Doutorado. , Centre National de la Recherche Scientifique. , Bolsista do(a): . , Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Computabilidade e Modelos de 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: Engenharia de Software. , Grande Área: Lingüística, Letras e Artes / Área: Lingüística / Subárea: Filosofia da Linguagem.

Idiomas

Inglês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Espanhol

Compreende Bem, Fala Pouco, Lê Bem, Escreve Pouco.

Português

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Italiano

Compreende Bem, Fala Bem, Lê Bem, Escreve Razoavelmente.

Francês

Compreende Razoavelmente, Fala Razoavelmente, Lê Bem, Escreve Pouco.

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Computabilidade e Modelos de Computação.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Linguagem Formais e Autômatos.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Análise de Algoritmos e Complexidade de Computação.

Grande área: Ciências Sociais Aplicadas / Área: Ciência da Informação / Subárea: Teoria da Informação/Especialidade: Processos da Comunicação.

Grande área: Ciências Biológicas / Área: Bioquímica / Subárea: Biologia Molecular/Especialidade: Processos Biológicos.

Participação em eventos

CMSB 06 International Workshop on Computational Methods in Systems Biology. A New Method towards the Formal Analysis of Large-Scale Data in Systems Biology: gene expression data of Yeast form growth. 2006. (Congresso).

C0NSCI 06 - Second International Conference Converging Sciences. 2006. (Congresso).

IDM 06 Deuxièmes journées sur l'Ingénierie Dirigée par les modèles.UML class hierarchies in BioAmbients. 2006. (Simpósio).

Scientific Opening of The Microsoft Research Centre for Computational and Systems Biology. 2006. (Encontro).

ECCS 05 - European Conference in Complex Systems. 2005. (Congresso).

IDM'05 - Première Journée sur l'Ingéniérie Dirigée par les Modèles. 2005. (Simpósio).

Opening of The Microsoft Research Centre for Computational and Systems Biology. 2005. (Outra).

Orientou

Carlos Morelli Dutra da Silveira

Analisador de Complexidade Média Baseado nas Estruturas Algorítmicas; ; 1998; 0 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Informática) - Universidade Federal de Pelotas; Orientador: Debora Schuch da Rosa;

Mônica Carapeços Arriada

Educação à Distância e Rádio Pacote: uma alternativa educacional; 1996; 80 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Informática) - Universidade Federal de Pelotas; Orientador: Debora Schuch da Rosa;

Produções bibliográficas

ROSA, D. S. ; TOSCANI, L. V. . Complexidade Média Algorítmica: Uma Metodologia para o seu Cálculo. Dissertatio, 1997.
ROSA, D. S. ; TOSCANI, L. V. . O Tratamento da Complexidade na Programação em Lógica. Fl 2653, Porto Alegre - RS, 1996.
ROSA, D. S. ; ROUX-ROUQUIE, M. . A New Method towards the Formal Analysis of Large-Scale Data in Systems Biology: gene expression data of Yeast form growth. In: CMSB 06 International Workshop on Computational Methods in Systems Biology, 2006, Trento. International Conference on Computational Methods in Systems Biology. Trento-IT, 2006.
ROSA, D. S. ; MENEGUZZI, F. R. ; ROUX-ROUQUIE, M. ; PRIAMI, C. . UML class hierarchies in BioAmbiens. In: IDM 06 Deuxièmes journées sur l'Ingénierie Dirigée par les modèles, 2006, Lille - FR. 2èmes Journées sur LIngénierie Dirigée par les Modèles. Lille - FR, 2006.
ROSA, D. S. ; TOSCANI, L. V. . O Cálculo da Complexidade Algorítmica via Aritmética Intervalar. Anais do I Encontro de Verão de Matemática Computacional Ufrgs, Porto Alegre - RS, 1996.
ROSA, D. S. ; TOSCANI, L. V. . Cálculo da Complexidade Média Algorítmica. Anais do XIX Congresso de Matemática Aplicada e Computacional, Goiânia - GO, 1996.
ROSA, D. S. ; TOSCANI, L. V. . A Complexidade Média Algorítmica como Intervalos. Anais do XVIII Congresso Nacional de Matem Aplicada e Computacional, Curitiba - PR, 1995.
ROSA, D. S. ; TOSCANI, L. V. . Elaboración de Software con Ênfasis en la Complejidad Algorítmica. Anais do I Congresso Internacional de Tecnologia Y Aplicaciones Informáticas, Asunción- Paraguay, 1995.
ROSA, D. S. ; DIMURO, G. P. ; MATTOS, V. . Estatística X Ensino X Pesquisa: SISEPE - Um Sistema Estatísco para Pesquisa e Ensino. Resumos do V Salão de Iniciação Científica Ufrgs, Porto Alegre - RS, 1993.
ROSA, D. S. ; DIMURO, G. P. ; MATTOS, V. . SISEPE - O Ensino da Estatística por Computador. Resumo do II Congresso de Iniciação Científica Furg Ufpel, Rio Grande - RS, 1993.
ROSA, D. S. ; DIMURO, G. P. ; MATTOS, V. ; LUZZARDI, P. R. G. . SISEPE - Um Sistema Estatístico para Pesquisa e Ensino. Resumos da Xxv Reunião Regional da Associação Brasileira de Estatística, Porto Alegre -RS, 1992.
ROSA, D. S. ; DIMURO, G. P. ; MATTOS, V. ; LUZZARDI, P. R. G. . Estatística X Ensino X Pesquisa. Resumos da V Reunião Regional da Ass Bras Matemática Aplicada e Computacional, Porto Alegre - RS, 1992.
ROSA, D. S. ; DIMURO, G. P. ; MATTOS, V. . Um Sistema Didático para a Estatística. Resumo do I Congresso de Iniciação Científica Furg Ufpel, Rio Grande - RS, 1992.

Projetos de pesquisa

2005 - Atual

DEGAS2, Descrição: uml pi. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (1) . , Integrantes: Debora Schuch da Rosa - Coordenador.
2002 - 2004

DEGAS1, Descrição: aaa. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (2) . , Integrantes: Debora Schuch da Rosa - Coordenador.
1998 - 2000

algoritmos paralelos complexos, Descrição: Analise Algoritmica de Paralelismo . , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Debora Schuch da Rosa - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul - Auxílio financeiro.
1998 - 1999

Formalismos, Descrição: metodos formais. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (1) / Doutorado: (0) . , Integrantes: Debora Schuch da Rosa - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul - Bolsa.

Histórico profissional

Endereço profissional

Pontifícia Universidade Católica do Rio Grande do Sul, Faculdade de Informática, Departamento de Fundamentos da Computação. , Av. Ipiranga, 6681 - Prédio 32 - Sala 505, Partenon, 90619-900 - Porto Alegre, RS - Brasil - Caixa-postal: 1429, Telefone: (51) 33203558, Ramal: 4177, Fax: (51) 33203758, URL da Homepage:

Experiência profissional

2005 - Atual

Centre National de la Recherche Scientifique

Vínculo: Estagiária, Enquadramento Funcional: Bolsista, Carga horária: 40, Regime: Dedicação exclusiva.

Outras informações:
Laboratoire d'Informatique de Paris 6

Atividades

04/2005
Estágios , Laboratoire D'informatique de Paris 6, Départment Réseaux Et Sistèmes Répartis.,Estágio realizado, VirtualSysBio.

2001 - Atual

Università degli studi di Trento

Vínculo: Colaborador, Enquadramento Funcional: pesquisador, Carga horária: 20

Outras informações:
projeto degas

2000 - 2000

Universidade do Vale do Rio dos Sinos

Vínculo: Outro, Enquadramento Funcional: Professor ministrante de curso de extensão, Carga horária: 8

Outras informações:
Cursos atendidos: Bacharelado em Informática - ênfases: Análise de Sistemas e Software Básico.

2001 - 2001

Pontifícia Universidade Católica do Rio Grande do Sul

Vínculo: Outro, Enquadramento Funcional: Participante ouvinte de curso de extensão, Carga horária: 16

Outras informações:
Cursos atendidos: Bacharelado em Ciência da Computação, Bacharelado em Sistemas de Informação, Bacharelado em Administração, Bacharelado em Economia, Bacharelado em Ciências Aeronáuticas, Bacharelado em Administração com ênfase em Análise de Sistemas e Bacharelado em Engenharia.

Atividades

12/2002
Ensino,,Disciplinas ministradas, Licensa não-remunerada

1996 - 1997

Universidade Federal de Pelotas

Vínculo: Outro, Enquadramento Funcional: Professor coordenador de projeto de extensão, Carga horária: 8

Outras informações:
Projeto: "Software na Construção do Pensamento Matemático nas Séries Iniciais"

1994 - 1997

Universidade Federal do Rio Grande do Sul

Vínculo: Estudante, Enquadramento Funcional: , Carga horária: 0

Outras informações:
projeto com Laira

1993 - 1993

Sj Informática

Vínculo: Outro, Enquadramento Funcional: Professor, Carga horária: 12

Outras informações:
Cursos de Introdução ao Processamento de Dados

1991 - 1991

Universidade Católica de Pelotas

Vínculo: Estudante, Enquadramento Funcional: Monitoria: disciplina Linguagem de Programaçã, Carga horária: 15

Outras informações:
Suporte ao aluno em criação de algoritmos e desenvolvimento de programas em linguagem PASCAL e C

Atividades

08/1992 - 12/1992
Estágios , Centro de Ciências Exatas Tecnologia e Informática, Centro de Processamento de Dados.,Estágio realizado, Digitação e Revisão.

1991 - 1991

Sls Contabilidade e Auditoria Ltda

Vínculo: Estagiário, Enquadramento Funcional: Estagiário em programação, Carga horária: 22

Outras informações:
Analista e programadora em linguagem CLIPPER

Atividades

08/1991 - 10/1991
Estágios .,Estágio realizado, .