Alisson Linhares de Carvalho

Sou mestre em Ciência da Computação pela Unicamp; tenho experiência em eletrônica, computação gráfica, sistemas operacionais, máquinas virtuais e programação de baixo nível; programo em nível avançado em Java, C/C++11 e Assembly (ARM / x86-64). Projetos: https://github.com/AlissonLinhares

Informações coletadas do Lattes em 28/05/2023

Acadêmico

Formação acadêmica

Doutorado em andamento em Ciência da Computação

2017 - Atual

Universidade Estadual de Campinas
Título: A Transprecision Polymorphic Floating-Point Unit for Mixed-precision Computing,
Rodolfo Jardim de Azevedo. Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.

Mestrado em Ciência da Computação

2013 - 2015

Universidade Estadual de Campinas
Título: Suporte para execução de máquinas virtuais nativas,Ano de Obtenção: 2015
Edson Borin.Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo, FAPESP, Brasil. Palavras-chave: Máquinas virtuais; Software nativo; Arquitetura nativa.Grande área: Ciências Exatas e da Terra

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

2007 - 2011

Universidade Tiradentes
Título: Projeto Neutrino: proposta de uma abordagem original para a construção de sistemas operacionais.
Orientador: Claudio de Oliveira

Curso técnico/profissionalizante interrompido em 2010

2008 - Atual

Instituto Federal de Sergipe
Ano de interrupção: 2010

Formação complementar

2014 - 2015

Inglês Avançado. (Carga horária: 80h). , Fisk Centro de Ensino, FISK, Brasil.

Idiomas

Inglês

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

Áreas de atuação

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 / Subárea: Sistemas de Computação/Especialidade: Computação Gráfica.

Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Circuitos Elétricos, Magnéticos e Eletrônicos/Especialidade: Circuitos Eletrônicos.

Produções bibliográficas

AULER, RAFAEL ; MILLANI, CARLOS EDUARDO ; BRISIGHELLO, ALEXANDRE ; LINHARES, ALISSON ; BORIN, EDSON . Handling IoT platform heterogeneity with COISA, a compact OpenISA virtual platform. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE , v. 1, p. 1, 2016.
LINHARES, ALISSON ; RUSA, HENRIQUE ; FORMIGA, DANIEL ; AZEVEDO, RODOLFO . A SystemC profiling framework to improve fixed-point hardware utilization. In: 2020 33rd Symposium on Integrated Circuits and Systems Design (SBCCI), 2020, Campinas. 2020 33rd Symposium on Integrated Circuits and Systems Design (SBCCI), 2020. p. 1.
CARVALHO, ALISSON ; AZEVEDO, RODOLFO . Towards a Transprecision Polymorphic Floating-Point Unit for Mixed-Precision Computing. In: 2019 31st International Symposium on Computer Architecture and High Performance Computing (SBACPAD), 2019, Campo Grande. 2019 31st International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD), 2019. p. 56.
LINHARES, A. C. . Migrando aplicações para a arquitetura POWER. 2016. (Apresentação de Trabalho/Conferência ou palestra).

Outras produções

LINHARES, A. C. . Neutrino Operating System. 2008.

LINHARES, A. C. . Desenvolvimento de sistemas operacionais. 2010. (Curso de curta duração ministrado/Extensão).

Projetos de desenvolvimento

2011 - 2012

Cartada Final, Descrição: Cartadafinal é um novo portal de jogos de cartas com foco no mercado brasileiro e lançado em 2011. Tem uma rede social interna com amigos, mensagens e grupos de discussão. Ele também fornece um sistema de avatar completo e integração Facebook. http://www.lumentech.cc/games/cartadafinal. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (5) . , Integrantes: Alisson Linhares de Carvalho - Integrante / Tiago Melo - Coordenador / Vitor Costa - Integrante / Felipe Goulart - Integrante / Pedro Andrade - Integrante.
2011 - 2011

Missão H18, Descrição: Jogo de helicóptero desenvolvido na Unity 3D como parte de uma campanha de propaganda para Candide. http://www.lumentech.cc/games/missaoh18. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Alisson Linhares de Carvalho - Integrante / Tiago Melo - Coordenador / Felipe Goulart - Integrante.
2009 - 2009

Virtual Fly, Descrição: Simulador 3d para tratamento de fobia aérea, projetado para trabalhar com o uso de head track.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Alisson Linhares de Carvalho - Integrante / Tiago Melo - Coordenador., Financiador(es): Gamion - Auxílio financeiro.
2011 - 2012

Cartada Final, Descrição: Cartadafinal é um novo portal de jogos de cartas com foco no mercado brasileiro e lançado em 2011. Tem uma rede social interna com amigos, mensagens e grupos de discussão. Ele também fornece um sistema de avatar completo e integração Facebook. http://www.lumentech.cc/games/cartadafinal. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (5) . , Integrantes: Alisson Linhares de Carvalho - Integrante / Tiago Melo - Coordenador / Vitor Costa - Integrante / Felipe Goulart - Integrante / Pedro Andrade - Integrante.
2011 - 2011

Missão H18, Descrição: Jogo de helicóptero desenvolvido na Unity 3D como parte de uma campanha de propaganda para Candide. http://www.lumentech.cc/games/missaoh18. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Alisson Linhares de Carvalho - Integrante / Tiago Melo - Coordenador / Felipe Goulart - Integrante.
2009 - 2009

Virtual Fly, Descrição: Simulador 3d para tratamento de fobia aérea, projetado para trabalhar com o uso de head track.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Alisson Linhares de Carvalho - Integrante / Tiago Melo - Coordenador., Financiador(es): Gamion - Auxílio financeiro.
2011 - 2012

Cartada Final, Descrição: Cartadafinal é um novo portal de jogos de cartas com foco no mercado brasileiro e lançado em 2011. Tem uma rede social interna com amigos, mensagens e grupos de discussão. Ele também fornece um sistema de avatar completo e integração Facebook. http://www.lumentech.cc/games/cartadafinal. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (5) . , Integrantes: Alisson Linhares de Carvalho - Integrante / Tiago Melo - Coordenador / Vitor Costa - Integrante / Felipe Goulart - Integrante / Pedro Andrade - Integrante.
2011 - 2011

Missão H18, Descrição: Jogo de helicóptero desenvolvido na Unity 3D como parte de uma campanha de propaganda para Candide. http://www.lumentech.cc/games/missaoh18. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Alisson Linhares de Carvalho - Integrante / Tiago Melo - Coordenador / Felipe Goulart - Integrante.
2009 - 2009

Virtual Fly, Descrição: Simulador 3d para tratamento de fobia aérea, projetado para trabalhar com o uso de head track.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Alisson Linhares de Carvalho - Integrante / Tiago Melo - Coordenador., Financiador(es): Gamion - Auxílio financeiro.
2011 - 2012

Cartada Final, Descrição: O Cartadafinal é um portal de jogos de cartas que foi lançado em 2011. Tem uma rede social interna com amigos, mensagens e grupos de discussão. Além disso, o Cartada possui um sistema de avatar completo e integração com o Facebook. Link: http://lumentech.cc/cartada-final/. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (5) . , Integrantes: Alisson Linhares de Carvalho - Integrante / Tiago Melo - Coordenador / Vitor Costa - Integrante / Felipe Goulart - Integrante / Pedro Andrade - Integrante.
2011 - 2011

Missão H18, Descrição: Jogo de helicóptero desenvolvido na Unity 3D como parte de uma campanha de propaganda para Candide. Link: http://www.lumentech.cc/games/missaoh18. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Alisson Linhares de Carvalho - Integrante / Tiago Melo - Coordenador / Felipe Goulart - Integrante.
2009 - 2009

Virtual Fly, Descrição: Simulador 3d para tratamento de fobia aérea; projetado para trabalhar com o uso de Head Tracking. Link: https://www.youtube.com/watch?v=4Lb3BAwyC3o&feature=youtu.be. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Alisson Linhares de Carvalho - Integrante / Tiago Melo - Coordenador., Financiador(es): Gamion - Auxílio financeiro.
2011 - 2012

Cartada Final, Descrição: O Cartadafinal é um portal de jogos de cartas que foi lançado em 2011. Tem uma rede social interna com amigos, mensagens e grupos de discussão. Além disso, o Cartada possui um sistema de avatar completo e integração com o Facebook. Link: http://lumentech.cc/cartada-final/. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (5) . , Integrantes: Alisson Linhares de Carvalho - Integrante / Tiago Melo - Coordenador / Vitor Costa - Integrante / Felipe Goulart - Integrante / Pedro Andrade - Integrante.
2011 - 2011

Missão H18, Descrição: Jogo de helicóptero desenvolvido na Unity 3D como parte de uma campanha de propaganda para Candide. Link: http://www.lumentech.cc/games/missaoh18. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Alisson Linhares de Carvalho - Integrante / Tiago Melo - Coordenador / Felipe Goulart - Integrante.
2009 - 2009

Virtual Fly, Descrição: Simulador 3d para tratamento de fobia aérea; projetado para trabalhar com o uso de Head Tracking. Link: https://www.youtube.com/watch?v=4Lb3BAwyC3o&feature=youtu.be. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Alisson Linhares de Carvalho - Integrante / Tiago Melo - Coordenador., Financiador(es): Gamion - Auxílio financeiro.

Histórico profissional

Experiência profissional

2011 - 2013

Universidade Federal de Sergipe

Vínculo: Professor Substituto, Enquadramento Funcional: Professor, Carga horária: 20

Outras informações:
Professor de Sistemas Operacionais, Introdução à Computação e Programação Orientada à Objetos.

2011 - 2011

Lúmen Technology

Vínculo: Programador, Enquadramento Funcional: Programador, Carga horária: 30

Outras informações:
Atuei como programador em diversos projetos: Os Exploradores do Saber, Velozes do Oeste, Missão H18 e o Cartada Final.

2009 - 2010

Lúmen Technology

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

Outras informações:
Atuei como programador em diversos projetos. A minha maior contribuição foi no VirtualFly, um simulador 3D para tratamento de fobia aérea, projetado em parceria com a Gamion. O ponto forte do simulador era o uso de head tracking que tornava a simulação realista.

2010 - 2011

Tribunal Regional do Trabalho da 20ª Região (SE)

Vínculo: Estagiário, Enquadramento Funcional: Suporte Técnico, Carga horária: 20

2011 - 2011

Universidade Tiradentes

Vínculo: Estagiário, Enquadramento Funcional: Pesquisador, Carga horária: 30

Outras informações:
Projeto de pesquisa feito em parceria com a Code 2; tinha como objetivo adaptar o DTI (Departamento de Tecnologia da Informação) da Unit ao nível G do MPS/BR; pesquisa em metodologias de desenvolvimento de softwares.

2009 - 2009

Universidade Tiradentes

Vínculo: Colaborador, Enquadramento Funcional: Monitor Acadêmico de Estrutura de Dados, Carga horária: 16

2008 - 2008

Laboratório de Games

Vínculo: Colaborador, Enquadramento Funcional: Programador e pesquisador

Outras informações:
Trabalhei na pesquisa de técnicas de desenvolvimento de jogos eletrônicos. Desenvolvi um projeto de uma base 3D para inteligência artificial, que foi utilizada por Rodolfo Botto de Barros Garcia em seu projeto de conclusão de curso em Ciência da Computação. Link: http://laboratoriogames.wordpress.com/

2016 - 2017

IBM BRASIL IND.MAQ. E SERVICOS LTDA

Vínculo: , Enquadramento Funcional: Engenheiro de Sistemas, Carga horária: 44, Regime: Dedicação exclusiva.

Outras informações:
Atuei diretamente no desenvolvimento do IBM SDK, implementando ferramentas para automatizar o processo de migração de instruções MMX, SSE e AVX para Altivec. Além do SDK, contribuí para diversos projetos, incluindo o IBM Core Libraries (Bibliotecas especializadas para POWER) e o IBM Advance Toolchain (Compilador oficial para POWER).

2021 - Atual

Pontifícia Universidade Católica de Campinas, PUC Campinas

Vínculo: Celetista, Enquadramento Funcional: Professor, Carga horária: 20

2019 - 2019

Pontifícia Universidade Católica de Campinas, PUC Campinas

Vínculo: Celetista, Enquadramento Funcional: Professor, Carga horária: 10

Outras informações:
Professor de Sistemas Operacionais e Tópicos em Programação.

2019 - 2020

Idea Electronic Systems

Vínculo: Bolsista, Enquadramento Funcional: Cientista, Carga horária: 32

Outras informações:
Desenvolvi uma ferramenta para traçar o perfil de operações de ponto-fixo em hardware, resultando em uma publicação internacional. Além disso, também atuei na otimização de um simulador de DSP interno. Projeto: https://github.com/AlissonLinhares/scprof