Alexandre Garcia de Oliveira
Possui graduação em Processamento de Dados pela Faculdade de Tecnologia da Baixada Santista (Santos/SP) (2006), graduação em Matemática pela Universidade de São Paulo (2012), mestrado em Matemática Aplicada pela Universidade de São Paulo (2015) e doutorado em Ciencia da Computacao pela Universidade de São Paulo (2023). Atualmente é professor de ensino superior ii - Fatec Rubens Lara. Tem experiência na área de Ciência da Computação, com ênfase em Linguagens de Programação, atuando principalmente nos seguintes temas: programação funcional, teoria dos tipos e teoria das categorias.
Informações coletadas do Lattes em 17/03/2024
Acadêmico
Formação acadêmica
Doutorado em Ciencia da Computacao
2017 - 2023
Universidade de São Paulo
Título: Programming with Monoidal Profunctors and Semiarrows
Ana Cristina Vieira de Melo. Coorientador: Mauro Javier Jaskelioff. Palavras-chave: Semiarrows; Monoidal Profunctors; Effectful Monoidal Profunctors; Synchronous Data-Flow Programming.Grande área: Ciências Exatas e da TerraGrande Á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: Matemática / Subárea: Teoria das Categorias.
Mestrado em Matemática Aplicada
2012 - 2015
Universidade de São Paulo
Título: Resolução numérica de equações de advecção-difusão empregando malhas adaptativas
Orientador: Alexandre Megiorin Roma
, Ano de Obtenção: 2015.Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Volumes Finitos; Equação de Conservação; Malha Adaptativa.Grande área: Ciências Exatas e da Terra
Especialização em Gestão de projetos e processos organizacionais
2007 - 2010
Centro Estadual de Educação Tecnológica Paula Souza
Título: A empregabilidade de graduados por instituições de ensino públicas na área de tecnologia da informação
Orientador: Maria Campos Lage
Graduação em Processamento de Dados
2004 - 2006
Faculdade de Tecnologia da Baixada Santista (Santos/SP)
Título: Software de gerenciamento de estoques
Idiomas
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Francês
Compreende Razoavelmente, Fala Pouco, Lê Razoavelmente, Escreve Razoavelmente.
Á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: Metodologia e Técnicas da Computação/Especialidade: Engenharia de Software.
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Matemática Aplicada/Especialidade: Análise Numérica.
Organização de eventos
II Encontro Brasileiro em Teoria das Categorias. 2023. (Congresso).
Participação em bancas
OLIVEIRA, A. G.. Concurso Público Docente para a disciplina Desenvolvimento Web I. 2023. Fatec Itaquera.
Orientou
Sistema web responsivo para empresa de fretes com sistema integrado para geolocalização para veículos; 2016; Trabalho de Conclusão de Curso; (Graduação em Sistemas para Internet) - Faculdade de Tecnologia da Baixada Santista (Santos/SP); Orientador: Alexandre Garcia de Oliveira;
Funções de resumo criptográficas polinomiais; 2015; Trabalho de Conclusão de Curso; (Graduação em Sistemas para Internet) - Faculdade de Tecnologia da Baixada Santista (Santos/SP); Orientador: Alexandre Garcia de Oliveira;
Framework de navegação single-page para sites e aplicações mobile hibridas; 2015; Trabalho de Conclusão de Curso; (Graduação em Sistemas para Internet) - Faculdade de Tecnologia da Baixada Santista (Santos/SP); Orientador: Alexandre Garcia de Oliveira;
Framework de navegação single-page para sites e aplicações mobile hibridas; 2015; Trabalho de Conclusão de Curso; (Graduação em Sistemas para Internet) - Faculdade de Tecnologia da Baixada Santista (Santos/SP); Orientador: Alexandre Garcia de Oliveira;
SOLUÇÃO DE SISTEMA WEB DE AUTOMAÇÃO COMERCIAL PARA OFICINAS MECÂNICAS - GERENCIADOR DE SERVIÇOS E PEÇAS; 2014; Trabalho de Conclusão de Curso; (Graduação em Sistemas para Internet) - Faculdade de Tecnologia da Baixada Santista (Santos/SP); Orientador: Alexandre Garcia de Oliveira;
Projeto de Educação à Distância: Web Design básica para Formação Continuada; 2014; Trabalho de Conclusão de Curso; (Graduação em Sistemas para Internet) - Faculdade de Tecnologia da Baixada Santista (Santos/SP); Orientador: Alexandre Garcia de Oliveira;
Interação Android - Computador via Bluetooth; 2012; Trabalho de Conclusão de Curso; (Graduação em Jogos Digitais) - Faculdade de Tecnologia de São Caetano do Sul; Orientador: Alexandre Garcia de Oliveira;
COMPARATIVO ENTRE OS PARADIGMAS FUNCIONAL E IMPERATIVO NA IMPLEMENTAÇÃO DE JOGOS DIGITAIS; 2012; Trabalho de Conclusão de Curso; (Graduação em Jogos Digitais) - Faculdade de Tecnologia de São Caetano do Sul; Orientador: Alexandre Garcia de Oliveira;
Produções bibliográficas
-
SILVA, P. A. ; LOURENCO, F. C. . Yesod e Haskell: Aplicações web com Programação Funcional pura. 1. ed. São Paulo: Casa do Código, 2019. v. 1. 200p .
-
Haskell: Uma introdução à programação funcional. 1. ed. São Paulo: Casa do Código, 2017. 146p .
-
JASKELIOFF, M. J. ; MELO, A. C. V. . On Structuring Functional Programs with Monoidal Profunctors. In: Mathematically Structured Functional Programming, 2022, Munique. Ninth Workshop on Mathematically Structured Functional Programming (MSFP 2022), 2022.
-
Programando com Semiarrows. In: II Encontro Brasileiro em Teoria das Categorias, 2023, São Paulo. II Encontro Brasileiro em Teoria das Categorias, 2023.
-
Web developing with Haskell. 2015. (Apresentação de Trabalho/Outra).
Outras produções
Um curso de Haskell. 2015. (Desenvolvimento de material didático ou instrucional - Material didático).
Introdução ao python. 2011. (Desenvolvimento de material didático ou instrucional - Capacitação On-Line).
Projetos de pesquisa
-
2008 - 2008
Meuagente.com, Descrição: Um Ambiente inteligente colaborativo de informação e entreteinimento.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Especialização: (1) / Mestrado acadêmico: (1) Doutorado: (1) . , Integrantes: Alexandre Garcia de Oliveira - Integrante / Leandro de Castro Nunes - Coordenador / Cleber de Mico Muramoto - Integrante / Leandro Rubim de Freitas - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
Projetos de desenvolvimento
-
2008 - 2009
CIAC - Classificador Inteligente de Café, Descrição: Um classificador de café que para classificar amostras de café consideranda-se: i) forma e tamanho; e ii) tipo. Na classificação por forma e tamanho será estimada a porcentagem de peso para cada peneira utilizada na classificação oficial. A estimativa de peso será feita através da utilização de sistemas inteligentes tendo como entrada vetores de atributos extraídos da imagem de cada grão. No processo de classificação por tipo serão identificados, por meio de técnicas de processamento de imagens e classificação de padrões, os defeitos intrínsecos e extrínsecos presentes na amostra. A partir de uma contagem desses defeitos será identificado a qual tipo de café pertence a amostra.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Especialização: (1) / Doutorado: (1) . , Integrantes: Alexandre Garcia de Oliveira - Integrante / Helder Knidel - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
-
2008 - 2009
CIAC - Classificador Inteligente de Café, Descrição: Um classificador de café que para classificar amostras de café consideranda-se: i) forma e tamanho; e ii) tipo. Na classificação por forma e tamanho será estimada a porcentagem de peso para cada peneira utilizada na classificação oficial. A estimativa de peso será feita através da utilização de sistemas inteligentes tendo como entrada vetores de atributos extraídos da imagem de cada grão. No processo de classificação por tipo serão identificados, por meio de técnicas de processamento de imagens e classificação de padrões, os defeitos intrínsecos e extrínsecos presentes na amostra. A partir de uma contagem desses defeitos será identificado a qual tipo de café pertence a amostra.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Especialização: (1) / Doutorado: (1) . , Integrantes: Alexandre Garcia de Oliveira - Integrante / Helder Knidel - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
-
2008 - 2009
CIAC - Classificador Inteligente de Café, Descrição: Um classificador de café que para classificar amostras de café consideranda-se: i) forma e tamanho; e ii) tipo. Na classificação por forma e tamanho será estimada a porcentagem de peso para cada peneira utilizada na classificação oficial. A estimativa de peso será feita através da utilização de sistemas inteligentes tendo como entrada vetores de atributos extraídos da imagem de cada grão. No processo de classificação por tipo serão identificados, por meio de técnicas de processamento de imagens e classificação de padrões, os defeitos intrínsecos e extrínsecos presentes na amostra. A partir de uma contagem desses defeitos será identificado a qual tipo de café pertence a amostra.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Especialização: (1) / Doutorado: (1) . , Integrantes: Alexandre Garcia de Oliveira - Integrante / Helder Knidel - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
-
2008 - 2009
CIAC - Classificador Inteligente de Café, Descrição: Um classificador de café que para classificar amostras de café consideranda-se: i) forma e tamanho; e ii) tipo. Na classificação por forma e tamanho será estimada a porcentagem de peso para cada peneira utilizada na classificação oficial. A estimativa de peso será feita através da utilização de sistemas inteligentes tendo como entrada vetores de atributos extraídos da imagem de cada grão. No processo de classificação por tipo serão identificados, por meio de técnicas de processamento de imagens e classificação de padrões, os defeitos intrínsecos e extrínsecos presentes na amostra. A partir de uma contagem desses defeitos será identificado a qual tipo de café pertence a amostra.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Especialização: (1) / Doutorado: (1) . , Integrantes: Alexandre Garcia de Oliveira - Integrante / Helder Knidel - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
-
2008 - 2009
CIAC - Classificador Inteligente de Café, Descrição: Um classificador de café que para classificar amostras de café consideranda-se: i) forma e tamanho; e ii) tipo. Na classificação por forma e tamanho será estimada a porcentagem de peso para cada peneira utilizada na classificação oficial. A estimativa de peso será feita através da utilização de sistemas inteligentes tendo como entrada vetores de atributos extraídos da imagem de cada grão. No processo de classificação por tipo serão identificados, por meio de técnicas de processamento de imagens e classificação de padrões, os defeitos intrínsecos e extrínsecos presentes na amostra. A partir de uma contagem desses defeitos será identificado a qual tipo de café pertence a amostra.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Especialização: (1) / Doutorado: (1) . , Integrantes: Alexandre Garcia de Oliveira - Integrante / Helder Knidel - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
-
2008 - 2009
CIAC - Classificador Inteligente de Café, Descrição: Um classificador de café que para classificar amostras de café consideranda-se: i) forma e tamanho; e ii) tipo. Na classificação por forma e tamanho será estimada a porcentagem de peso para cada peneira utilizada na classificação oficial. A estimativa de peso será feita através da utilização de sistemas inteligentes tendo como entrada vetores de atributos extraídos da imagem de cada grão. No processo de classificação por tipo serão identificados, por meio de técnicas de processamento de imagens e classificação de padrões, os defeitos intrínsecos e extrínsecos presentes na amostra. A partir de uma contagem desses defeitos será identificado a qual tipo de café pertence a amostra.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Especialização: (1) / Doutorado: (1) . , Integrantes: Alexandre Garcia de Oliveira - Integrante / Helder Knidel - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
-
2008 - 2009
CIAC - Classificador Inteligente de Café, Descrição: Um classificador de café que para classificar amostras de café consideranda-se: i) forma e tamanho; e ii) tipo. Na classificação por forma e tamanho será estimada a porcentagem de peso para cada peneira utilizada na classificação oficial. A estimativa de peso será feita através da utilização de sistemas inteligentes tendo como entrada vetores de atributos extraídos da imagem de cada grão. No processo de classificação por tipo serão identificados, por meio de técnicas de processamento de imagens e classificação de padrões, os defeitos intrínsecos e extrínsecos presentes na amostra. A partir de uma contagem desses defeitos será identificado a qual tipo de café pertence a amostra.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Especialização: (1) / Doutorado: (1) . , Integrantes: Alexandre Garcia de Oliveira - Integrante / Helder Knidel - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
-
2008 - 2009
CIAC - Classificador Inteligente de Café, Descrição: Um classificador de café que para classificar amostras de café consideranda-se: i) forma e tamanho; e ii) tipo. Na classificação por forma e tamanho será estimada a porcentagem de peso para cada peneira utilizada na classificação oficial. A estimativa de peso será feita através da utilização de sistemas inteligentes tendo como entrada vetores de atributos extraídos da imagem de cada grão. No processo de classificação por tipo serão identificados, por meio de técnicas de processamento de imagens e classificação de padrões, os defeitos intrínsecos e extrínsecos presentes na amostra. A partir de uma contagem desses defeitos será identificado a qual tipo de café pertence a amostra.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Especialização: (1) / Doutorado: (1) . , Integrantes: Alexandre Garcia de Oliveira - Integrante / Helder Knidel - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
-
2008 - 2008
CIAC - Classificador Inteligente de Café, Descrição: Um classificador de café que para classificar amostras de café consideranda-se: i) forma e tamanho; e ii) tipo. Na classificação por forma e tamanho será estimada a porcentagem de peso para cada peneira utilizada na classificação oficial. A estimativa de peso será feita através da utilização de sistemas inteligentes tendo como entrada vetores de atributos extraídos da imagem de cada grão. No processo de classificação por tipo serão identificados, por meio de técnicas de processamento de imagens e classificação de padrões, os defeitos intrínsecos e extrínsecos presentes na amostra. A partir de uma contagem desses defeitos será identificado a qual tipo de café pertence a amostra.. , Situação: Desativado; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Especialização: (1) / Doutorado: (1) . , Integrantes: Alexandre Garcia de Oliveira - Integrante / Helder Knidel - Coordenador.
-
2008 - 2008
CIAC - Classificador Inteligente de Café, Descrição: Um classificador de café que para classificar amostras de café consideranda-se: i) forma e tamanho; e ii) tipo. Na classificação por forma e tamanho será estimada a porcentagem de peso para cada peneira utilizada na classificação oficial. A estimativa de peso será feita através da utilização de sistemas inteligentes tendo como entrada vetores de atributos extraídos da imagem de cada grão. No processo de classificação por tipo serão identificados, por meio de técnicas de processamento de imagens e classificação de padrões, os defeitos intrínsecos e extrínsecos presentes na amostra. A partir de uma contagem desses defeitos será identificado a qual tipo de café pertence a amostra.. , Situação: Desativado; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Especialização: (1) / Doutorado: (1) . , Integrantes: Alexandre Garcia de Oliveira - Integrante / Helder Knidel - Coordenador.
Histórico profissional
Experiência profissional
2013 - 2015
Faculdade de Tecnologia da Praia GrandeVínculo: , Enquadramento Funcional: Professor Assistente, Carga horária: 4
Atividades
-
02/2013
Ensino, Análise e Desenvolvimento de Sistemas, Nível: Graduação,Disciplinas ministradas, Segurança da Informação
2011 - Atual
FATEC RUBENS LARAVínculo: Celetista, Enquadramento Funcional: Professor de Ensino Superior II, Carga horária: 40, Regime: Dedicação exclusiva.
Atividades
-
09/2011
Ensino, Sistemas para internet, Nível: Graduação,Disciplinas ministradas, Desenvolvimento de Servidores I, Estatística, Padrões de Projeto, Programação para Scripts, Programação Funcional (Tópicos Especiais)
2008 - 2008
NatComp Informática e Equipamentos Eletrônicos, NatCompVínculo: BOLSISTA, Enquadramento Funcional: PESQUISADOR, Carga horária: 40
2011 - 2014
Fatec de Tecnologia de São Caetano do SulVínculo: Celetista, Enquadramento Funcional: Professor Assistente, Carga horária: 4
Atividades
-
08/2012 - 02/2014
Ensino, Jogos digitais, Nível: Graduação,Disciplinas ministradas, Programação Orientada a Objetos
-
07/2011 - 07/2012
Ensino, Jogos digitais, Nível: Graduação,Disciplinas ministradas, Laboratório de Programação, Persistência e Banco de Dados, Programação Orientada a Objetos
2010 - 2013
ETEC DE PRAIA GRANDEVínculo: , Enquadramento Funcional: Professor I, Carga horária: 10
Outras informações:
Também foram ministradas: Programação de Computadores-II, Estrutura de dados e Aplicativos informatizados para logística.
Atividades
-
02/2010
Ensino,,Disciplinas ministradas, Programação de Computadores-I
2010 - 2010
ETEC DONA ESCOLASTICA ROSAVínculo: Servidor Público, Enquadramento Funcional: Professor I, Carga horária: 3
Outras informações:
Disciplinas Ministradas:
Matemática Financeira
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Alexandre Garcia de Oliveira e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário
Confirma a exclusão?