Guilherme Salum Rangel

Possui Doutorado em Ciência da Computação pela Teschnische Universität Berlin [2008], mestrado em Ciência da Computação pela Universidade Federal do Rio Grande do Sul [2003] e graduação em Engenharia de Computação pela Universidade Federal do Rio Grande [2000]. Tem experiência em pesquisa e desenvolvimento em Engenharia de Software com ênfase em sistemas concorrentes e distribuídos, área na qual atuou nos últimos 7 anos. Neste período participou de projetos de pesquisa envolvendo o Brasil e diversos países europeus. Além da experiência em pesquisa, desenvolveu para o Ministério da Educação (MEC) sistemas de informações gerenciais para auxiliar no planejamento das matrizes de distribuição de recursos para as universidades federais e hospitais universitários.

Informações coletadas do Lattes em 26/05/2024

Acadêmico

Formação acadêmica

Doutorado em Ciências da Computação

2004 - 2008

Teschnische Universität Berlin
Título: Behavioral Congruences and Verication of Graph Transformation Systems with Applications to Model Refactoring
Orientador: Prof. Dr. Hartmut Ehrig
Bolsista do(a): Deutscher Akademischer Austausch Dienst, DAAD, Alemanha. Palavras-chave: Graph Transformation; Behavioral Congruences; Bisimulation Checking; Model Transformation.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Lógicas e Semântica de Programas.

Mestrado em Computação

2001 - 2003

Universidade Federal do Rio Grande do Sul
Título: Uma Ferramenta de Prototipação de Software para o Ambiente PROSOFT, Ano de Obtenção: 2003
Daltro José Nunes.Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Engenharia de Software; Especificação Formal; Lógica.Grande área: Ciências Exatas e da TerraGrande Á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: Lógicas e Semântica de Programas. Setores de atividade: Informática.

Graduação em Engenharia de Computação

1996 - 2000

Universidade Federal do Rio Grande
Título: Estudo de Modernização do Sistema de Aquisição de Livros do Nid/Furg
Orientador: Luiz Augusto Pinto Lemos

Curso técnico/profissionalizante em Eletrotécnica

1992 - 1994

Universidade Federal do Rio Grande

Idiomas

Inglês

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

Espanhol

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

Alemão

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

Áreas de atuaçã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: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Lógicas e Semântica de Programas.

Organização de eventos

Ribeiro, R. ; RANGEL, G. S. . Simpósio Brasileiro de Engenharia de Software. 2002. (Congresso).

Participação em eventos

11th Foundations of Software Science and Computation Structures (FOSSACS'08). Deriving bisimulation congruences in the presence of negative application conditions. 2008. (Congresso).

4th International Conference on Graph Transformation (ICGT'08). Behavior preservation in model refactoring using DPO transformations with borrowed contexts. 2008. (Congresso).

6th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'07). Bisimulation verification for the DPO approach with borrowed contexts. 2007. (Congresso).

Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems. 2004. (Encontro).

V Workshop on Requirements Engineering (WER'02). Modelo de Integração de Especificações: transformando Use Cases em Tipos Abstratos de Dados. 2002. (Congresso).

XVI Simpósio Brasileiro de Engenharia de Software. 2002. (Simpósio).

XV Simpósio Brasileiro de Engenharia de Software. 2001. (Simpósio).

XIV Simpósio Brasileiro de Engenharia de Software. 2000. (Simpósio).

XV Congresso Regional de Iniciação Científica e Tecnológica em Engenharia. Modernização do Processo de Aquisição de Livros em Instituições de Ensino. 2000. (Congresso).

FENASOFT.Sistema de Informações Gerenciais dos Hospitais Universitários Federais. 1999. (Outra).

II Semana Acadêmica de Engenharia de Computação, FURG. 1999. (Encontro).

VI Congresso de Iniciação Científica FURG/UFPel/UCPel. Sistema de Catalogação e Gerenciamento de Imagens AVHRR/NOAA. 1997. (Congresso).

I Semana Acadêmica de Engenharia de Computação FURG. 1977. (Encontro).

Produções bibliográficas

RANGEL, G. S. ; Lambers, L. ; Koenig, B. ; Ehrig, H. ; Baldan, P. . Behavior preservation in model refactoring using DPO transformations with borrowed contexts. Lecture Notes in Computer Science , v. 5214, p. 242-256, 2008.
RANGEL, G. S. ; Koenig, B. ; Ehrig, H. . Deriving Bisimulation Congruences in the Presence of Negative Application Conditions. Lecture Notes in Computer Science , v. 4962, p. 413-427, 2008.
RANGEL, G. S. ; Koenig, B. ; Ehrig, H. . Bisimulation verification for the DPO approach with borrowed contexts. Electronic Communications of the EASST , v. 6, p. 1-0, 2007.
L.A. Martins ; RANGEL, G. S. ; D.J. Nunes . Modelo de Integração de Especificações: transformando Use Cases em Tipos Abstratos de Dados. In: Workshop em Engenharia de Requisitos, 2002. Workshop em Engenharia de Requisitos.
RANGEL, G. S. ; Prado, B.J. ; LEMOS, L.A.P. . Modernização do Processo de Aquisição de Livros em Instituições de Ensino. In: XV Congresso Regional de Iniciação Científica e Tecnológica em Engenharia, 2000. Congresso Regional de Iniciação Científica e Tecnológica em Engenharia.
RANGEL, G. S. ; Gonçalves, G. . Sistema de Catalogação e Gerenciamento de Imagens AVHRR/NOAA. In: VI Congresso de Iniciação Cientítica Furg/UFPel/UCPel, 1998. Congresso de Iniciação Cientítica Furg/UFPel/UCPel.
RANGEL, G. S. ; D.J. Nunes ; Schlebbe, H. . ProTool: uma ferramenta de prototipação de software para o ambiente prosoft. In: SBES, 2004. Tools Session.
RANGEL, G. S. ; Lambers, L. ; Koenig, B. ; Ehrig, H. ; Baldan, P. . Behavior preservation in model refactoring using DPO transformations with borrowed contexts. 2008. (Apresentação de Trabalho/Conferência ou palestra).
RANGEL, G. S. ; Koenig, B. ; Ehrig, H. . Deriving bisimulation congruences in the presence of negative application conditions. 2008. (Apresentação de Trabalho/Conferência ou palestra).
RANGEL, G. S. ; Koenig, B. ; Ehrig, H. . Bisimulation verification for the DPO approach with borrowed contexts. 2007. (Apresentação de Trabalho/Conferência ou palestra).
RANGEL, G. S. . Behavioral Congruences and Verification of Graph Transformation Systems with Applications to Model Refactoring 2008 (Tese de doutorado).
RANGEL, G. S. ; Koenig, B. ; Ehrig, H. . Deriving bisimulation congruences in the presence of negative application conditions 2008 (Relatório Técnico).
RANGEL, G. S. ; Lambers, L. ; Koenig, B. ; Ehrig, H. ; Baldan, P. . Behavior preservation in model refactoring using DPO transformations with borrowed contexts 2008 (Relatório Técnico).
RANGEL, G. S. . ProTool: uma ferramenta de prototipação de software para o ambiente prosoft 2003 (Dissertação de Mestrado).
RANGEL, G. S. ; Prado, B.J. ; LEMOS, L.A.P. . Estudo de Modernização do Sistema de Aquisição de Livros do Nid/Furg 2000 (Trabalho de conclusão de curso).

Outras produções

RANGEL, G. S. ; HARTMANN, G. ; A. Mazzoleni . Sistema de Informações Gerenciais das Universidades Federais. 1999.

RANGEL, G. S. ; HARTMANN, G. ; A. Mazzoleni . Sistema de Informações Gerenciais dos Hospitais Universitários Federais. 1998.

Projetos de pesquisa

2008 - Atual

Behavioural Simulation and Equivalences of Systems Modelled by Graph Transformation (Behaviour-GT), Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Guilherme Salum Rangel - Integrante / Barbara Koenig - Integrante / Hartmut Ehrig - Coordenador / Paolo Baldan - Integrante / Ulrich Prange - Integrante / Tobias Heindel - Integrante., Financiador(es): Deutsche Forschungsgemeinschaft - Auxílio financeiro.
2002 - Atual

PROSOFT- APSEE: Integração de Ferramentas para Gerência do Processo de Desenvolvimento de Software, Descrição: O objetivo principal deste projeto é o desenvolvimento tecnológico-científico da área de Engenharia de Software, no que concerne à gerência do processo de desenvolvimento de software. As extensões propostas resultarão em um novo ambiente chamado PROSOFT-APSEE. Nesse contexto, o projeto envolverá estudantes, professores e pesquisadores na construção e avaliação de novos mecanismos de gerência de processos de software que poderão ser utilizados na indústria nacional.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Guilherme Salum Rangel - Integrante / Daltro José Nunes - Coordenador / Rodrigo Quites Reis - Integrante / Abraham Lincoln Rabelo de Sousa - Integrante / Carla Alessandra Lima Reis - Integrante / Alessandra Dahmer - Integrante / Luis André Martins - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
1994 - 2002

GRAPHIT, Descrição: Graphical Support and Integration of Formal and Semi-Formal Methods for Software Specification and Development (edital de Cooperação Internacional Brasil-Alemanha CNPq/DLR em 2001).. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Guilherme Salum Rangel - Integrante / Hartmut Ehrig - Integrante / Daltro José Nunes - Coordenador., Financiador(es): Deutsches Zentrum für Luft- und Raumfahrt - Auxílio financeiro / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

Histórico profissional

Experiência profissional

2014 - Atual

Centro Universitário Dr. Leão Sampaio

Vínculo: , Enquadramento Funcional: Professor

2014 - Atual

Faculdade Vale do salgado

Vínculo: Celetista, Enquadramento Funcional: Professor

2007 - 2007

Universität Duisburg-Essen (Essen)

Vínculo: Pesquisador, Enquadramento Funcional: Pesquisador Visitante

Outras informações:
Cooperação com a Profa. Dra. Barbara König em "Extension of the Borrowed Context Framework to Rules with Negative Application Conditions"

2006 - 2006

Universität Duisburg-Essen (Essen)

Vínculo: Pesquisador, Enquadramento Funcional: Pesquisador Visitante

Outras informações:
Cooperação co a Profa. Dra. Barbara König em "Bisimulation Checking for the DPO Approach with Borrowed Contexts"

2005 - 2005

Universitat Stuttgart

Vínculo: Pesquisador, Enquadramento Funcional: Pesquisador Visitante

Outras informações:
Cooperação com a Dra. Barbara König em "Graph Rewriting with Borrowed Contexts"

2008 - 2008

Technische Universitaet Berlin

Vínculo: Outro, Enquadramento Funcional: Pesquisador Assistente, Carga horária: 40, Regime: Dedicação exclusiva.

2004 - 2008

Technische Universitaet Berlin

Vínculo: Doutorando, Enquadramento Funcional: Pesquisador Assistente

Atividades

05/2008 - 11/2008
Pesquisa e desenvolvimento, Technische Universitaet Berlin, Theoretische Informatik / Formale Spezifikation.,Linhas de pesquisa

1998 - 2000

Ministério da Educação

Vínculo: Outro, Enquadramento Funcional: Engenheiro de Software, Carga horária: 30

Outras informações:
Desenvolvimento de sistemas de informações gerenciais para as universidades federais e seus hospitais. (Carga horária não presencial)

Atividades

05/1998 - 05/2000
Estágios , Secretaria de Ensino Superior, Coordenação de Acompanhamento das Ifes e Hus.,Estágio realizado, desenvolvimento software gerencial para IFES e HUS.

2002 - 2002

Universidade Federal do Rio Grande do Sul

Vínculo: Bolsista, Enquadramento Funcional: Bolsista

Outras informações:
Estágio em Docência na disciplina de Estruturas de Dados

1997 - 2000

Universidade Federal do Rio Grande

Vínculo: Outro, Enquadramento Funcional: Outro (Estágio), Carga horária: 12

Outras informações:
- Monitor do Laboratório de Informática do Departamento ded Ciências Contábeis; - Monitor da disciplina de Administração para o curso de Engenharia de Computação;

1997 - 1998

Universidade Federal do Rio Grande

Vínculo: Bolsista, Enquadramento Funcional: Bolsista de Iniciação Científica PIBIC/CNPq

Outras informações:
Trabalhou no projeto "Sistema de Catalogação e Gerenciamento de Imagens AVHRR/NOAA"

1997 - 1997

Universidade Federal do Rio Grande

Vínculo: Desenvolvedor de Software, Enquadramento Funcional: Desenvolvedor de Software

Outras informações:
Elaborou o conteúdo para distribuição de CD-ROM com anais do VI Congresso de Iniciação Científica da FURG

Atividades

03/2000 - 11/2000
Estágios , Departamento de Biblioteconomia e História, Núcleo de Informação e Documentação.,Estágio realizado, Desenvolvimento software para aquisição de livros.
10/1997 - 05/2000
Estágios , Departamento de Biblioteconomia e História, Núcleo de Informação e Documentação.,Estágio realizado, Desenvolvimento sistema de intercâmbio de revistas.