Rodrigo Augusto Barbato Ferreira

Possui graduação em Bacharelado em Ciência da Computação pela Universidade Federal de Minas Gerais(1998), mestrado em Mestrado em Ciência da Computação pela Universidade Estadual de Campinas(2001) e doutorado em Ciência da Computação pela Yale University(2010). Atualmente é Diretor de Tecnologia da Pousadinhas.com.br Ltda. Tem experiência na área de Ciência da Computação, com ênfase em Metodologia e Técnicas da Computação. Atuando principalmente nos seguintes temas:Memory Consistency, Formal Semantics, Program Verification, Concurrent Separation Logic.

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

Acadêmico

Formação acadêmica

Doutorado em Ciência da Computação

2003 - 2010

Yale University
Título: Memory Consistency and Program Verification
Orientador: Zhong Shao
Palavras-chave: Memory Consistency; Formal Semantics; Program Verification; Concurrent Separation Logic.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. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Linguagens de Programação. Setores de atividade: Pesquisa e desenvolvimento científico; Atividades dos serviços de tecnologia da informação; Outras atividades profissionais, científicas e técnicas.

Mestrado em Mestrado em Ciência da Computação

1999 - 2001

Universidade Estadual de Campinas
Orientador: Guido Araújo
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior.

Graduação em Bacharelado em Ciência da Computação

1995 - 1998

Universidade Federal de Minas Gerais

Idiomas

Inglês

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

Português

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: Linguagens de Programação.

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.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Software Básico.

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: Sistemas de Computação/Especialidade: Arquitetura de Sistemas de Computação.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.

Produções bibliográficas

FERREIRA, R. ; FENG, X. ; SHAO, Z. . Parameterized Memory Models and Concurrent Separation Logic. In: 19th European Symposium on Programming (ESOP'10), 2010, Paphos. Proc. 19th European Symposium on Programming (ESOP'10), 2010.
FENG, X. ; FERREIRA, R. ; SHAO, Z. . On the Relationship between Concurrent Separation Logic and Assume-Guarantee Reasoning. In: European Symposium on Programming, 2007, Braga. Proc. 16th European Symposium on Programming (ESOP'07), 2007.
FERREIRA, R. . Memory Consistency and Program Verification 2010 (Ph.D. Dissertation).
FERREIRA, R. A. B. ; ARAUJO, G. C. S. . Context-based JIT Compilation: The Design & Implementation of a Distributed JVM. Campinas: UNICAMP, 2001 (Relatório Técnico).
FERREIRA, R. A. B. . Uma Implementação Distribuída da Máquina Virtual Java Visando o Compartilhamento do Compilador "Just-In-Time". Campinas: UNICAMP, 2001 (Dissertação de Mestrado).

Outras produções

FENG, X. ; FERREIRA, R. ; SHAO, Z. . On the Relationship between Concurrent Separation Logic and Assume-Guarantee Reasoning. 2007. (Relatório de pesquisa).

FERREIRA, R. A. B. . Jewel VM Project. 2001 (Software) .

Histórico profissional

Experiência profissional

2011 - Atual

Pousadinhas.com.br Ltda

Vínculo: Sócio-Cofundador, Enquadramento Funcional: Diretor de Tecnologia, Carga horária: 40, Regime: Dedicação exclusiva.

2005 - 2005

ATI Research, Inc

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

Atividades

06/2006 - 08/2006
Pesquisa e desenvolvimento , Shader Compiler Group, .,Linhas de pesquisa
06/2005 - 08/2005
Pesquisa e desenvolvimento , Shader Compiler Group, .,Linhas de pesquisa

2001 - 2001

Pontifícia Universidade Católica de Minas Gerais, PUC Minas

Vínculo: Professor, Contrato Temporário, Enquadramento Funcional: Professor Assistente, Carga horária: 8

Atividades

08/2001 - 12/2001
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Compiladores

1998 - 1999

IntelliGenesis Corporation

Vínculo: Funcionário Contratado, Enquadramento Funcional: Junior Software Engineer, Carga horária: 20

Atividades

12/1998 - 09/1999
Serviços técnicos especializados .,Serviço realizado, Projeto e imlpementação da linguagem de programação WMSL.

1998 - 1998

Telemig Celular

Vínculo: Contrato Temporário, Enquadramento Funcional: Analista de Sistemas, Carga horária: 20

Atividades

04/1998 - 08/1998
Serviços técnicos especializados .,Serviço realizado, Desenvolvimento de software para monitoramento do SAC.

2002 - 2002

Standby Consultoria e Sistemas

Vínculo: Consultoria, Enquadramento Funcional: Consultor/Instrutor, Carga horária: 8

Atividades

01/2002 - 02/2002
Treinamentos ministrados .,Treinamentos ministrados, Curso de Java

1995 - 1996

Cooperi

Vínculo: Cooperado, Enquadramento Funcional: Programador C, Carga horária: 20

Atividades

09/1995 - 01/1996
Serviços técnicos especializados .,Serviço realizado, Codificação de um driver para leitora ótica de cartões.

1996 - 1996

Sirius Informática Ltda

Vínculo: Contrato Temporário, Enquadramento Funcional: Estagiário, Carga horária: 20

Atividades

08/1996 - 12/1996
Estágios .,Estágio realizado, Porte e aprimoramento do principal produto, Dr. Vision.