Marino Souza dos Santos

Graduando em Ciência da Computação pela Universidade Federal da Bahia - UFBA. Empresário Junior na InfoJr UFBA, empresa junior de informática. Tem interesse nas áreas de Segurança da Informação e Lógica para Computação e pretende seguir carreira acadêmica.

Informações coletadas do Lattes em 10/08/2025

Acadêmico

Formação acadêmica

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

2011 - Atual

Universidade Federal da Bahia

Ensino Médio (2º grau)

2008 - 2010

Colégio Estadual Antônio da Costa Brito

Idiomas

Bandeira representando o idioma Inglês

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

Bandeira representando o idioma Francês

Compreende Pouco, Fala Pouco, Lê Pouco.

Áreas de atuação

Grande área: Outros.

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

Projetos de pesquisa

  • 2014 - 2015

    Revisor de Modelos KMTS, Descrição: Este projeto trata do reparo automático de modelos KMTS (Kripke Modal Transitions Systems) baseado em revisão de modelos e verificação de modelos (Model Checking). Especificamente, propõe a construção de um revisor para modelos KMTS. Os KMTS se aplicam a especificação formal de sistemas com informação parcial.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Marino Souza dos Santos - Integrante / Aline Maria Santos Andrade - Coordenador / Jandson Santos Ribeiro Santos - Integrante / Miguel Breno de Carvalho Dias - Integrante.

  • 2011 - 2012

    GT-MCC, Descrição: O projeto GT-MCC (Minha Cloud Científica) tem como objetivo ser uma plataforma de Computação em Nuvem para oferecer apoio à aplicações científicas. Ele proverá serviços de acesso a grande porte computacional por curtos intervalos de tempo, armazenamento, reprodutibilidade de experimentos e controle de proveniência de dados.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (1) / Doutorado: (1) . , Integrantes: Marino Souza dos Santos - Integrante / Felipe Oliveira Gutierrez - Integrante / Marcos Ennes Barreto - Coordenador.

Histórico profissional

Experiência profissional

2014 - Atual

InfoJr UFBA

Vínculo: Colaborador, Enquadramento Funcional: Gerente de Provisão - Dir. Gestão de Pessoas, Carga horária: 10

Outras informações:
Atuação na gerência do processo seletivo e processo de Mentoria dos recém chegados na empresa. Aplicação de Avaliações de Desempenho - trimestral. Desenvolvedor web usando PHP, SQL, HTML5, CSS3, JavaScript, GIT e GitHub. Desenvolvimento com ênfase em BackEnd;

2014 - 2014

InfoJr UFBA

Vínculo: Bolsista, Enquadramento Funcional: Trainee da diretoria de Recursos Humanos, Carga horária: 6

2012 - 2014

Universidade Federal da Bahia

Vínculo: , Enquadramento Funcional: