Thiago Carvalho de Sousa
Possui doutorado em Engenharia de Computação pela Universidade de São Paulo (2013), com estágio doutoral (sanduíche) na University of Southampton (2011). É também mestre (2007) e bacharel (2002) em Ciência da Computação pela Universidade de São Paulo. Atualmente é Professor Associado do Centro de Tecnologia e Urbanismo da Universidade Estadual do Piauí (UESPI) - Campus Teresina e Secretário Executivo de Transformação Digiral da SECTI. Foi Diretor de Transformação Digiral da PRODATER, Superintendente Estadual de Ciência e Tecnologia (SEDET), Diretor do Núcleo de Processamento de Dados (NPD) da Universidade Estadual do Piauí (UESPI), além de Gerente de Programas Estratégicos da Secretaria de Inteligência Artificial (SIA). Já foi também Professor da Faculdade de Atividades Empresariais de Teresina (FAETE), do Centro de Ensino Unificado de Teresina (CEUT) e do Centro Universitário de Osasco (UNIFIEO). Já atuou como Gerente de Projetos, Analista de Processos, Engenheiro de Requisitos e Consultor em diversas empresas nacionais de grande e médio porte. Tem experiência na área de Engenharia de Software e Informática na Educação, atuando principalmente nos seguintes temas: métodos formais, sistemas críticos, sistemas embarcados, MDA/MDD, engenharia de requisitos, programação infantil, STEAM e ética na computação.
Informações coletadas do Lattes em 10/06/2026
Acadêmico
Formação acadêmica
Doutorado em Engenharia de Computação e Sistemas Digitais
2009 - 2013
Universidade de São Paulo
Título: Um Processo de Desenvolvimento Orientado a Objetos com Suporte à Verificação Formal de Inconsistências
Orientador: em University of Southampton ( Colin Snook)
com , Ano de obtenção: 2013. Paulo Sérgio Muniz Silva. Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Mestrado em Ciências da Computação
2003 - 2007
Universidade de São Paulo
Título: Revisão de Modelos Formais de Sistemas de Estados Finitos
, Ano de Obtenção: 2007.Renata Wassermann.Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Graduação em Ciência da Computação
1998 - 2002
Universidade de São Paulo
Título: Ferramentas OLAP
Orientador: Renata Wassermann
Formação complementar
2022 - 2022
Extensão universitária em Metodologias Ativas e o Desenvolvimento da Aprendizagem. (Carga horária: 120h). , FACULDADE UNINA, UNINA, Brasil.
2018 - 2018
Curso Geral de Propriedade Intelectual à Distância. (Carga horária: 75h). , Instituto Nacional da Propriedade Industrial, INPI, Brasil.
Idiomas
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Espanhol
Compreende Razoavelmente, Fala Razoavelmente, Lê Bem, Escreve Bem.
Francês
Compreende Razoavelmente, Fala Razoavelmente, 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: Metodologia e Técnicas da Computação/Especialidade: Métodos Formais.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Informática na Educação.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Propriedade Industrial.
Organização de eventos
DE SOUSA, T. C. ; Branco, H. M. G. C. ; SOARES FILHO, F. . Pint of Science -Teresina. 2018. (Festival).
Branco, H. M. G. C. ; DE SOUSA, T. C. . Olimpiada Brasileira de Robótica - Etapa Regional do Piauí. 2018. .
DE SOUSA, T. C. ; Branco, H. M. G. C. ; Soares Filho, F. . PIAUITEC?2017 - A Ciência vai ao Parque. 2017. .
DE SOUSA, T. C. ; Branco, H. M. G. C. ; SOARES FILHO, F. . Pint of Science - Teresina. 2017. (Festival).
DE SOUSA, T. C. ; Branco, H. M. G. C. ; Soares Filho, F. . PIAUITEC?2016 - A Ciência vai ao Shopping. 2016. .
DE SOUSA, T. C. ; Baluz, R. . ENUCOMP 2014 - Encontro Unificado de Comutação em Parnaíba. 2014. (Congresso).
DE SOUSA, T. C. ; Baluz, R. . ENUCOMP 2013 - Encontro Unificado de Comutação em Parnaíba. 2013. (Congresso).
DE SOUSA, T. C. ; Baluz, R. . ENUCOMP 2012 - Encontro Unificado de Comutação em Parnaíba. 2012. (Congresso).
Participação em bancas
VILLAS BOAS, G. R.; KLEIN, R. C.;DE SOUSA, T. C.; SOUZA, T. H. K.. Criação de Startup para Gestão de Eventos Esportivos. 2023. Dissertação (Mestrado em PROFNIT) - Universidade Federal do Oeste da Bahia.
SOUSA, L. C. D. M.;DE SOUSA, T. C.; SILVA FILHO, E. C.. Indústria 4.0: uma análise do cenário de implementação em micro e pequenas empresas da construção civil no Piauí. 2021. Dissertação (Mestrado em Mestrado Profissional em Propriedade Intelectual e Inovação) - Universidade Federal do Piauí.
SANTOS NETO, P. A.; Avelino, G. A.; MOURA, R. S.;DE SOUSA, T. C.; VALENTE, M. T.. Avaliação de Técnicas para a Identificação de Mantenedores de Código Fonte. 2021. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal do Piauí.
Linhares, M. V. D.;DE SOUSA, T. C.; Pires, E. A.. Software para Prospecção de Tecnologias Passíveis de Exploração Comercial no Âmbito da Universidade Federal do Piauí. 2021. Dissertação (Mestrado em Mestrado Profissional em Propriedade Intelectual e Inovação) - Universidade Federal do Piauí.
VASCONCELOS, V. N. S. A.;DE SOUSA, T. C.; MATOS, H. T.. Caminhos para o empreendedorismo: um método para promoção do empreendedorismo científico considerando o perfil comportamental dos pesquisadores. 2021. Dissertação (Mestrado em Mestrado Profissional em Propriedade Intelectual e Inovação) - Universidade Federal do Piauí.
Carvalho, C. G. N.; Linhares, M. V. D.;DE SOUSA, T. C.. Desenvolvimento de Software Educacional de Acompanhamento Pedagógico para Aplicação de Métodos de Gerenciamento de Rotinas de Estudo Pessoal e Gestão de Tempo. 2021. Dissertação (Mestrado em Mestrado Profissional em Propriedade Intelectual e Inovação) - Universidade Federal do Piauí.
Branco, H. M. G. C.; SOUZA, L. G. M.; ALMEIDA, O. M.;DE SOUSA, T. C.. Localização de Faltas em Linha de Transmissão Utilizando Coeficiente de Frequência Mel Cepstrais e LS-SVR. 2020. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal do Piauí.
Carvalho, C. G. N.;DE SOUSA, T. C.; Linhares, M. V. D.. Educação Inclusiva: software educativo gamificado da matemática para crianças com transtorno do espectro autista - TEA. 2020. Dissertação (Mestrado em Mestrado Profissional em Propriedade Intelectual e Inovação) - Universidade Federal do Piauí.
Branco, H. M. G. C.; Barbosa, F. R.; RABÊLO, RICARDO ANDRADE LIRA;DE SOUSA, T. C.; Mendez, O. R. S.. Modelo de Tomada de Decisão Baseado em Sistema Híbrido AHP e Fuzzy para Priorizar a Construção de Novos Alimentadores em Média Tensão de uma Subestação Elétrica. 2019. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal do Piauí.
CAMPELO FILHO, E. G.; RABELO NETO, A.;DE SOUSA, T. C.. Os Aspectos que Facilitam a Execução de FCS durante a Implantação de um ERP Acadêmico no Setor Público. 2018. Dissertação (Mestrado em Administração Pública) - Universidade Federal do Piauí.
SANTOS NETO, P. A.; MOURA, R. S.; ROCHA, L. S.;DE SOUSA, T. C.. Visualizando Comunalidades e Variabilidades em um Linha de Produtos de Software. 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal do Piauí.
SOUSA, P. B. M.;DE SOUSA, T. C.; SOUZA, V. L. P.. Proposta de um Sistema de Comunicação Escolar Utilizando Plataformas Livres para o envio de Mensagens por SMS. 2016. Dissertação (Mestrado em Ciência da Computação) - Instituto Federal do Ceará.
Carvalho, C. G. N.;DE SOUSA, T. C.; SOUSA, S. B.. IMPLANTAÇÃO PIONEIRA DE INTEGRAÇÃO CONTÍNUA E ENTREGA CONTÍNUA (CI/CD) NA FMS: DESENVOLVIMENTO DE UMA ESTEIRA AUTOMATIZADA COM DEPLOY VIA SSH EM SERVIDOR VPS. 2025. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Estadual do Piauí.
Carvalho, C. G. N.;DE SOUSA, T. C.; BRINGEL FILHO, J. R. M.. USO DE FERRAMENTAS OPEN SOURCE PARA MONITORAMENTO E GESTÃO DE INCIDENTES: UMA INTEGRAÇÃO ENTRE CENTREON, GLPI E SLACK. 2025. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Estadual do Piauí.
CARVALHO, M. V. R.; Carvalho, C. G. N.;DE SOUSA, T. C.. INTERFACE E USABILIDADE EM DESIGN GRÁFICO: UMA COMPARAÇÃO ENTRE FERRAMENTAS PROFISSIONAIS E ACESSÍVEIS. 2025. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Estadual do Piauí.
DIAS NETO, C. A.; CARVALHO, M. V. R.;DE SOUSA, T. C.. COSMONAUTA: UMA PROPOSTA DE ARQUITETURA CONCEITUAL PARA UM SISTEMA EDUCACIONAL MOBILE COM GAMIFICAÇÃO E REPETIÇÃO ESPAÇADA PARA O ENSINO DE ASTRONOMIA E ASTRONÁUTICA. 2025. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Estadual do Piauí.
Sousa, A. S.;DE SOUSA, T. C.; Carvalho, C. G. N.. DISCRIMINAÇÃO ALGORÍTMICA: UMA ANÁLISE DA MANIFESTAÇÃO DE VIÉS RACIAL E DE GÊNERO NAS TECNOLOGIAS. 2024. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Estadual do Piauí.
Sousa, A. S.;DE SOUSA, T. C.; Carvalho, C. G. N.. APLICAÇÃO DE DEEP LEARNING E OUTRAS TÉCNICAS DA CNN PARA DETECÇÃO E MAPEAMENTO DE CARACTERÍSTICAS PARA A FLIR. 2024. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Estadual do Piauí.
DUARTE, L. M. C.; DIAS NETO, C. A.;DE SOUSA, T. C.. APOIO FERRAMENTAL PARA UMA ABORDAGEM DIRIGIDA A MODELOS NA CRIAÇÃO DE APLICATIVOS COM FOCO NA ACESSIBILIDADE. 2024. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Estadual do Piauí.
Sousa, A. S.; CARVALHO, M. V. R.;DE SOUSA, T. C.. CLASSIFICAÇÃO DE TEXTOS USANDO O MODELO TRANSFORMADOR BERT. 2024. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Estadual do Piauí.
Carvalho, C. G. N.;DE SOUSA, T. C.; Marques, J. A. A.. Setup de cruzamento das médias móveis exponenciais com auxílio dos indicadores RSI e Bandas de Bollinger. 2023. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Estadual do Piauí.
Santos, A. R.;DE SOUSA, T. C.; Melo, W. C. C.. BMMWeb-Uma Plataforma para Inovação em Modelos de Negócio. 2023. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Estadual do Piauí.
Carvalho, C. G. N.; DIAS NETO, C. A.;DE SOUSA, T. C.. Avaliação de Desempenho da Estratégia de Negociação Rompimento do Pullback em Mini-contratos Futuros do IBOVESPA. 2023. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Estadual do Piauí.
Carvalho, C. G. N.; DIAS NETO, C. A.;DE SOUSA, T. C.. Avaliação de Desempenho de Setup para Scalping em Dólar Baseado nos Indicadores Parabólico SAR e Retração de Fibonacci. 2022. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Estadual do Piauí.
Carvalho, C. G. N.; DUARTE, L. M. C.;DE SOUSA, T. C.. Análise de Desempenho em Operação de Scalping no índice Futuro com Teoria de Down e Retração de Fibonacci. 2022. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Estadual do Piauí.
ROCHA, MAURICIO;DE SOUSA, T. C.; DIAS NETO, C. A.. Solução Computacional Para Controle De Acusados E Emissão De Certidão Negativa De Processo Administrativo Disciplinar. 2022. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Estadual do Piauí.
BORGES, F.;DE SOUSA, T. C.; Carvalho, C. G. N.. O Uso de Algoritmos de Aprendizado de Máquina para Identificação e Classificação de Fake News referentes a Covid-19 no Twitter. 2021. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Estadual do Piauí.
Leal, L. B.; Carvalho, C. G. N.;DE SOUSA, T. C.. Uma Abordagem Baseada em Otimização Heurística para Resolução do Fluxo de Potência Ótimo Reativo. 2021. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Estadual do Piauí.
Carvalho, C. G. N.;DE SOUSA, T. C.; Silva, B. C.. A Inclusão Digital como uma Ação Complementar do Programa Bolsa Família na Comunidade Titaras no Município de Porto-PI. 2016. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Estadual do Piauí.
Carvalho, C. G. N.;DE SOUSA, T. C.; Silva, B. C.. Telecentros como Instrumentos de Inclusão Digital: Informática e o Processo de Ensino Aprendizagem na Cidade de Beneditinos-PI. 2016. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Estadual do Piauí.
Santos, J. C.; Alcantara, S. P.;DE SOUSA, T. C.. Sistema de Identificação de Neonatos por Radiofrequência. 2011. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Centro Universitário FIEO.
Bernardes Junior, J. L.;DE SOUSA, T. C.; Machion, A. C. G.. Jogos Eletrônicos na Aprendizagem. 2011. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Centro Universitário FIEO.
Machion, A. C. G.; Reis, R. W.;DE SOUSA, T. C.. Renderização de Imagens em Sistemas Distribuídos. 2011. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Centro Universitário FIEO.
Machion, A. C. G.; Reis, R. W.;DE SOUSA, T. C.. Casa Automatizada. 2011. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Centro Universitário FIEO.
Cruz, R.O.DE SOUSA, T. C.Araujo, F. J.. Execução Musical em Baterias Acústicas Utilizando Braços Mecânicos. 2008 - Faculdade das Atividades Empresariais de Teresina.
Lourenco, A. E.;DE SOUSA, T. C.; Monteiro Filho, L. H. J.. Concurso Público de Provas e Títulos para Docente na área de Ciências da Computação. 2011. Centro Estadual de Educação Tecnológica Paula Souza.
DE SOUSA, T. C.; OLIVEIRA, R. S.; FELIX, F. G.; SILVA, L. S.; MACEDO FILHO, J. E.; EULALIO, A. D.. Processo Seletivo Simplificado - Técnico de Apoio de Rede/Web Designer. 2014. Universidade Estadual do Piauí.
Carvalho, C. G. N.; Leal, L. B.;DE SOUSA, T. C.. Processo Seletivo Simplificado - Ciência da Computação/Análise e Desenvolvimento de Sistemas. 2013. Secretaria de Meio Ambiente e Recursos Hídricos do Estado do Piauí.
DE SOUSA, T. C.; Rocha, F.;Rabelo, R.. Concurso de Trabalhos de Iniciação Científica de Sistemas de Informação. 2012. Faculdade Piauiense.
DE SOUSA, T. C.; Machado, J.; SILVEIRA, A.. Concurso de Artigos Científicos - ENUCOMP. 2012. Universidade Estadual do Piauí.
Orientou
Aprendizagem baseada em projetos: um guia para elaboração de experiências iniciais em cursos técnicos de nível médio; 2022; Dissertação (Mestrado em Mestrado Profissional em Propriedade Intelectual e Inovação) - Universidade Federal do Piauí, ; Orientador: Thiago Carvalho de Sousa;
GAMEFORKIDS: uma proposta de gamificação na Educação Infantil; 2021; Dissertação (Mestrado em Mestrado Profissional em Propriedade Intelectual e Inovação) - Universidade Federal do Piauí, ; Orientador: Thiago Carvalho de Sousa;
Uma Investigação Sobre o Processo Migratório para a Plataforma de Computação em Nuvem no Brasil; 2016; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, ; Coorientador: Thiago Carvalho de Sousa;
Geração de testes a partir de máquinas de estados finitos estendidas extraídas de diagramas de sequência UML; 2021; Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, ; Coorientador: Thiago Carvalho de Sousa;
Desenvolvimento orientado por comportamento: Um comparativo entre os frameworks Jbehave, Cucumber e Jnario; 2013; Monografia; (Aperfeiçoamento/Especialização em Pós-Graduação em Gerência de Projetos em Tecnologi) - Faculdade Maurício de Nassau - Parnaíba (PI); Orientador: Thiago Carvalho de Sousa;
INTELIGÊNCIA ARTIFICIAL NA DOCUMENTAÇÃO DE SISTEMAS LEGADOS: UMA ABORDAGEM COMPARATIVA DE FERRAMENTAS; 2025; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Estadual do Piauí; Orientador: Thiago Carvalho de Sousa;
UMA ANÁLISE COMPARATIVA DE ASSISTENTES DE CODIFICAÇÃO BASEADOS EM INTELIGÊNCIA ARTIFICIAL; 2024; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Estadual do Piauí; Orientador: Thiago Carvalho de Sousa;
O USO DE INTELIGÊNCIA ARTIFICIAL APLICADO À GERAÇÃO DE CASOS DE TESTE: UM MAPEAMENTO SISTEMÁTICO DA LITERATURA; 2024; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Estadual do Piauí; Orientador: Thiago Carvalho de Sousa;
EASYCARE-APP PARA AUXILIAR CUIDADORES DE PESSOAS ACAMADAS; 2024; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Estadual do Piauí; Orientador: Thiago Carvalho de Sousa;
+DESCONTO: simplificando o cashback; 2022; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Estadual do Piauí; Orientador: Thiago Carvalho de Sousa;
Aprendizagem Personalizada Aplicada com Algoritmo AHP Fuzzy Híbrído; 2022; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Estadual do Piauí; Orientador: Thiago Carvalho de Sousa;
Um Mapeamento Sistemático sobre Tecnologias Assistivas no Ensino de Programação para Pessoas Surdas; 2021; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Estadual do Piauí; Orientador: Thiago Carvalho de Sousa;
Um Protótipo de Motor de Jogos 2D Livre para Criação de Jogos Eletrônicos sem Utilização de Scripts; 2013; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Estadual do Piauí; Orientador: Thiago Carvalho de Sousa;
Formalização do Diagrama de Casos de Uso por meio da Linguagem Event-B; 2013; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Estadual do Piauí; Orientador: Thiago Carvalho de Sousa;
Uma Proposta de Formalização do Diagrama de Classes por meio da Linguagem Event-B; 2013; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Estadual do Piauí; Orientador: Thiago Carvalho de Sousa;
Uma Ferramenta para Geração Automatica de Testes Funcionais e Protótipos de Interface a partir de Casos de Uso; 2009; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Centro de Ensino Unificado de Teresina; Orientador: Thiago Carvalho de Sousa;
Um Sistema de Balanço Financeiro; 2008; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Faculdade das Atividades Empresariais de Teresina; Orientador: Thiago Carvalho de Sousa;
SACOLP - Sistema de Automação Comercial e Operacional para um Loja de Pneus; 2008; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Faculdade das Atividades Empresariais de Teresina; Orientador: Thiago Carvalho de Sousa;
Geração Automática de Testes de Interface para a Linguagem de Modelagem de Fluxo de Informação; 2023; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Estadual do Piauí; Orientador: Thiago Carvalho de Sousa;
Uma Abordagem baseada em Inteligência Artificial para a Aprendizagem Personalizada no Ensino Fundamental; 2021; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Estadual do Piauí, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Thiago Carvalho de Sousa;
Revisão Sistemática sobre a Utilização de Métodos Formais; 2017; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Estadual do Piauí; Orientador: Thiago Carvalho de Sousa;
História e Memória do Ensino da Computação no Piauí; 2016; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Estadual do Piauí, Fundação de Amparo à Pesquisa do Estado do Piauí; Orientador: Thiago Carvalho de Sousa;
Revisão Sistemática sobre Aplicação de Métodos Formais na UML; 2016; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Estadual do Piauí, Fundação de Amparo à Pesquisa do Estado do Piauí; Orientador: Thiago Carvalho de Sousa;
PROB-BR: o Verificador PROB com suporte à Revisão de Crenças; 2015; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Estadual do Piauí, Fundação de Amparo à Pesquisa do Estado do Piauí; Orientador: Thiago Carvalho de Sousa;
Formalização do Diagrama UML Information Flow via Linguagem Event-B; 2015; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Estadual do Piauí, Fundação de Amparo à Pesquisa do Estado do Piauí; Orientador: Thiago Carvalho de Sousa;
Um Processo de Análise e Projeto Orientado a Objetos com Suporte à Verificação Formal de Inconsistências; 2013; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Estadual do Piauí, Fundação de Amparo à Pesquisa do Estado do Piauí; Orientador: Thiago Carvalho de Sousa;
Produções bibliográficas
-
SILVA, ADRIANO BATISTA ; BRANCO, HERMES M. G. CASTELO ; DE SOUSA, THIAGO CARVALHO ; RODRIGUES, JOEL J. P. C. ; DE A. L. RABÊLO, RICARDO . HYBRID FUZZY SYSTEM APPLIED TO PRIORITIZING THE CONSTRUCTION OF NEW FEEDERS IN POWER DISTRIBUTION NETWORKS. Energy Sources, Part A: Recovery, Utilization, and Environmental Effects , v. 47, p. 1-18, 2021.
-
ROCHA, MAURICIO ; SIMÃO, ADENILSO ; SOUSA, THIAGO . Model-based test case generation from UML sequence diagrams using extended finite state machines. SOFTWARE QUALITY JOURNAL , v. 29, p. 597-627, 2021.
-
SANTOS-FILHO, FRANCISCO SOARES ; SOUSA, THIAGO CARVALHO DE ; BRANCO, HERMES MANOEL GALVÂO CASTELO . Autonomia financeira das universidades em foco: estudo de caso da Universidade Estadual do Piauí, Brasil. RESEARCH, SOCIETY AND DEVELOPMENT , v. 9, p. e4039108834, 2020.
-
DE SOUSA, T. C. ; Silva, L. K. ; DIAS NETO, C. A. ; Carvalho, C. G. N. . A Formal Semantics for Use Case Diagram Via Event-B. JOURNAL OF SOFTWARE , v. 12, p. 189-200, 2017.
-
DA SILVA, HILSON BARBOSA ; GARCIA, VINICIUS CARDOSO ; SOUZA, THIAGO CARVALHO DE ; RABÊLO, RICARDO ANDRADE LIRA ; SOARES, JEFFERSON HENRIQUE CAMELO ; LOPES, LUCAS ARAÚJO . EXTRAÇÃO DE CONHECIMENTO EM UM SURVEY SOBRE O USO DE COMPUTAÇÃO EM NUVEM NO BRASIL. Learning and Nonlinear Models , v. 14, p. 58-71, 2016.
-
Savicks, V. ; DE SOUSA, T. C. . An Approach of Mapping UML Sequence Diagrams to Event-B. International Journal of Advanced Research in Computer Science and Software Engineering , v. 2, p. 7-11, 2012.
-
DE SOUSA, T. C. ; Snook, F. C. ; Muniz Silva, P. S. . A proposal for extending UML-B to support a conceptual model. Innovations in Systems and Software Engineering (Print) , v. 7, p. 293-301, 2011.
-
DE SOUSA, T. C. ; Almeida, J. R. ; Viana, S. ; Pavón, J. . Automatic analysis of requirements consistency with the B method. Software Engineering Notes , v. 35, p. 1, 2010.
-
MATOS, ERNESTO CID BRASIL ; Sousa, Thiago C. . From formal requirements to automated web testing and prototyping. INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING (PRINT) , v. 6, p. 163-169, 2010.
-
FREIRE, R. F. P. ; DE SOUSA, T. C. . Aprendizagem baseada em projetos em cursos técnicos de nível médio: um guia para experiências iniciais. 1. ed. Teresina: EDUFPI, 2022. 31p .
-
Soares Filho, F. ; DE SOUSA, T. C. ; Branco, H. M. G. C. . Desafio STEAM - 1º Ano. 1. ed. Rio de Janeiro: Lateral, 2022.
-
Soares Filho, F. ; DE SOUSA, T. C. ; Branco, H. M. G. C. . Desafio STEAM - 2º Ano. 1. ed. Rio de Janeiro: Lateral, 2022.
-
Soares Filho, F. ; DE SOUSA, T. C. ; Branco, H. M. G. C. . Desafio STEAM - 3º Ano. 1. ed. Rio de Janeiro: Lateral, 2022.
-
Soares Filho, F. ; DE SOUSA, T. C. ; Branco, H. M. G. C. . Desafio STEAM - 4º Ano. 1. ed. Rio de Janeiro: Lateral, 2022.
-
Soares Filho, F. ; DE SOUSA, T. C. ; Branco, H. M. G. C. . Desafio STEAM - 5º Ano. 1. ed. Rio de Janeiro: Lateral, 2022.
-
Soares Filho, F. ; DE SOUSA, T. C. ; Branco, H. M. G. C. . Desafio STEAM - 7º Ano. 1. ed. Rio de Janeiro: Lateral, 2022.
-
Soares Filho, F. ; DE SOUSA, T. C. ; Branco, H. M. G. C. . Desafio STEAM - 8º Ano. 1. ed. Rio de Janeiro: Lateral, 2022.
-
Soares Filho, F. ; DE SOUSA, T. C. ; Branco, H. M. G. C. . Desafio STEAM - 9º Ano. 1. ed. Rio de Janeiro: Lateral, 2022.
-
Soares Filho, F. ; DE SOUSA, T. C. ; Branco, H. M. G. C. . Desafio STEAM - 6º Ano. 1. ed. Rio de Janeiro: Lateral, 2022.
-
CUNHA, D. P. ; DE SOUSA, T. C. . GAMEFORKIDS: gamificação na Educação Infantil. 1. ed. Teresina: EDUFPI, 2021. 72p .
-
DE SOUSA, T. C. ; Lopes, A. R. . Tecnologias assistivas na educação de pessoas surdas: uma abordagem computacional. 1. ed. Teresina: FUESPI, 2016. 98p .
-
DE SOUSA, T. C. ; Baluz, R. (Org.) . Anais Eletrônicos: Enucomp 2014. 1. ed. Teresina: FUESPI, 2014. v. 1. 142p .
-
Baluz, R. (Org.) ; DE SOUSA, T. C. (Org.) . Anais Eletrônicos: Enucomp 2013. 1. ed. Teresina: FUESPI, 2013. v. 1. 159p .
-
DE SOUSA, T. C. ; Baluz, R. (Org.) . Anais Eletrônicos: Enucomp 2012. 1. ed. Teresina: FUESPI, 2012. v. 1. 194p .
-
DE SOUSA, T. C. ; Melo, C. O. . Sustainable Infrastructure, Industrial Ecology and Eco-innovation: Positive Impact on Society. In: Leal Filho, W., Azul, A.M., Brandli, L., Özuyar, P.G., Wall, T.. (Org.). Industry, Innovation and Infrastructure: Encyclopedia of the UN Sustainable Development Goals. 1ed.Cham: Springer, 2019, v. 9, p. 112-129.
-
Zimermann, J. A. ; SOUSA, T. C. ; Spinola, R. . Gerenciando mudanças a partir de requisitos. Engenharia de Software Magazine, p. 10 - 19, 01 jan. 2012.
-
DE SOUSA, T. C. . Introdução ao Iconix. SQL magazine, , v. 94, p. 58 - 66, 01 dez. 2011.
-
DE SOUSA, T. C. . Incorporando Restrições à UML. Engenharia de Software Magazine, Rio de Janeiro, p. 14 - 20, 01 ago. 2009.
-
ROCHA, MAURICIO ; SIMÃO, ADENILSO ; SOUSA, THIAGO ; BATISTA, MARCELO . Test Case Generation by EFSM Extracted from UML Sequence Diagrams. In: The 31st International Conference on Software Engineering and Knowledge Engineering, 2019, Porto. org.crossref.xschema._1.Title@3ecc370b, 2019. p. 135.
-
Siqueira, F. L. ; DE SOUSA, T. C. ; Silva, P. S. M. . Using BDD and SBVR to refine business goals into an Event-B model. In: ICSE - International Conference on Software Engineering, 2017, Buenos Aires. ICSE Companion Proceedings, 2017.
-
Melo, C. O. ; DE SOUSA, T. C. . Reflections on Cyberethics Education for Millennial Software Engineers. In: ICSE - International Conference on Software Engineering, 2017, Buenos Aires. ICSE Companion Proceedings, 2017.
-
DE SOUSA, T. C. ; Muniz Silva, P. S. . A Proposal for Integrating Formal Methods into a Lightweight UML-driven Development Process. In: Congresso Brasileiro de Software - Simpósio Brasileiro de Métodos Formais, 2014, Macéio. CBSOFT-SBMF, 2014.
-
Albuquerque, A. B. ; Matos, F. R. N. ; Santos, P. C. C. ; DE SOUSA, T. C. ; Maia, V. O. . O Papel de um Organismo Catalisador para a Promoção da Inovação na Indústria de Software na Cidade de Teresina ? Piauí ? Brasil. In: XV Congresso Ibero-Americano de Gestão de Tecnologia, 2013, Porto. ALTEC. Lisboa: Centro de Estudos em Inovação, Tecnologia e Políticas de Desenvolvimento, 2013. v. 1. p. 8115-8130.
-
Nascimento, L. B. P. ; Sousa, D. A. ; Nunes, F. R. S. ; Souza, J. J. ; Freitas, R. A. ; Cavalcante, V. C. R. ; DE SOUSA, T. C. . Protótipo de um Mobilizador Passivo Contínuo de Baixo Custo para Reabilitação Pós-Operatória da Mão. In: Mostra Nacional de Robótica, 2013, Fortaleza. MNR, 2013.
-
Silva, L. K. ; DE SOUSA, T. C. . Uma Proposta de Verificação Formal em um Processo de Desenvolvimento Orientado pela UML. In: Encontro Unificado de Computação em Parnaíba, 2013, Parnaíba. ENUCOMP. Teresina: FUESPI, 2013. v. 1. p. 104-109.
-
DE SOUSA, T. C. ; Muniz Silva, P. S. ; Snook, F. C. . A Practical Event-B Refinement Method based on a UML-driven Development Process. In: International Conference on Abstract State Machines, Alloy, B, VDM and Z, 2012, Pisa. ABZ (Lecture Notes in Computer Science). Berlin: Springer, 2012. v. 7316. p. 357-360.
-
DE SOUSA, T. C. ; Russo Jr, A.G. . Starting B Specifications from Use Cases. In: International Conference on Abstract State Machines, Alloy, B, VDM and Z, 2010, Orford. ABZ (Lecture Notes in Computer Science). Berlin: Springer, 2010. v. 5977. p. 411.
-
DE SOUSA, T. C. ; Melo, C. O. . Geração de Testes de Aceitação em Fit a partir de Especificações em B. In: Workshop de Desenvolvimento Rápido de Aplicações - Simpósio Brasileiro de Qualidade de Software, 2010, Belém. WDRA-SBQS, 2010.
-
DE SOUSA, T. C. ; Muniz Silva, P. S. . A UML-based Method for Event-B Refinement. In: Workshop de Teses e Dissertações - Simpósio Brasileiro de Métodos Formais, 2010, Natal. WTD-SBMF, 2010.
-
Russo Jr, A.G. ; DE SOUSA, T. C. ; Barbosa, H. ; Muniz Silva, P. S. ; Deharbe, D. . Potpourri of what? One year in a DA's life. In: Rodin User and Developer Workshop, 2010, Duesseldorf. Proceedings of the 10th International Workshop on Automated Verification of Critical Systems, 2010.
-
Matos, E. C. B. ; DE SOUSA, T. C. . Uma Ferramenta para Geração Automatica de Testes Funcionais e Prototipos de Interface a partir de Casos de Uso. In: Escola Regional de Computação dos Estados do Ceará, Maranhão e Piauí, 2009, Parnaiba. ERCEMAPI, 2009.
-
DE SOUSA, T. C. ; Wassermann, R. . Handling Inconsistencies in CTL Model-Checking using Belief Revision. In: Simpósio Brasileiro de Métodos Formais, 2007, Ouro Preto. Proceedings of the SBMF - Brazilian Symposium on Formal Methods. Porto Alegre: SBC, 2007. p. 160-175.
-
DE SOUSA, T. C. ; Wassermann, R. . Comparação entre a Teoria de Revisão de Crença e a Teoria da Atualização de Banco de Dados. In: Colóquio de Iniciação Cientifica - IME-USP, 2003, São Paulo. CIC-IME-USP, 2003.
-
BORGES, C. R. C. ; DE SOUSA, T. C. . Ensino de Programação: o uso do Code Studio com Crianças de Escolas Públicas. In: E-POTI 2015, 2015, Teresina. Anais Eletrônicos do E-POTI 2015, 2015.
-
AMORIM, P. H. C. ; DE SOUSA, T. C. . Uma Abordagem baseada em Inteligência Artificial para a Aprendizagem Personalizada no Ensino Fundamental. In: XX Seminário de Iniciação Científica da UESPI, 2021, Teresina. SIC-UESPI, 2021.
-
SOUZA, R. F. S. ; DE SOUSA, T. C. . Revisão Sistemática sobre a Utilização de Métodos Formais. In: XVI Seminário de Iniciação Científica da UESPI, 2017, Teresina. SIC-UESPI, 2017.
-
SOUZA, R. F. S. ; DE SOUSA, T. C. . Revisão Sistemática sobre Aplicação de Métodos Formais na UML. In: XV Seminário de Iniciação Científica da UESPI, 2016, Teresina. SIC-UESPI, 2016.
-
LIMA, L. C. ; DE SOUSA, T. C. . História e Memória do Ensino da Computação no Piauí. In: XV Seminário de Iniciação Científica da UESPI, 2016, Teresina. SIC-UESPI, 2016.
-
LIMA, L. C. ; DE SOUSA, T. C. . PROB-BR: o Verificador PROB com suporte à Revisão de Crenças. In: XIV Seminário de Iniciação Científica da UESPI, 2015, Teresina. SIC-UESPI, 2015.
-
SOUZA, R. F. S. ; DE SOUSA, T. C. . Formalização do Diagrama UML Information Flow via Linguagem Event-B. In: XIV Seminário de Iniciação Científica da UESPI, 2015, Teresina. SIC-UESPI, 2015.
-
Silva, L. K. ; DE SOUSA, T. C. . Uma Proposta de Formalização do Diagrama de Classes por meio da Linguagem Event-B. In: XII Seminário de Iniciação Científica da UESPI, 2013, Teresina. SIC-UESPI, 2013.
Outras produções
DE SOUSA, T. C. ; Snook, F. C. ; Silva, Paulo Sérgio Muniz . BICONIX - Um processo de desenvolvimento orientado a objetos com suporte à verificação formal de inconsistências. 2013.
DE SOUSA, T. C. ; Wassermann, R. . NuSMV-BR - Um Verificador de Modelos com Suporte à Revisão de Crenças. 2007.
Nascimento, L. B. P. ; Sousa, D. A. ; Nunes, F. R. S. ; Souza, J. J. ; Freitas, R. A. ; Cavalcante, V. C. R. ; DE SOUSA, T. C. . Mobilizador Passivo Contínuo. 2013.
DE SOUSA, T. C. ; SOARES FILHO, F. ; Branco, H. M. G. C. . Guia da Propriedade Industrial. 2017. (Desenvolvimento de material didático ou instrucional - Cartilha de Inovação).
DE SOUSA, T. C. . Comparação entre a Teoria de Revisão de Crença e a Teoria da Atualização de Banco de Dados. 2002. (Relatório de pesquisa).
Projetos de pesquisa
-
2025 - 2025
Análise da Inserção Profissional dos Ex-Alunos do Curso de Ciência da Computação da UESPI: Um Survey sobre Trajetórias, Mercado de Trabalho e Salários, Situação: Concluído; Natureza: Pesquisa. , Integrantes: Thiago Carvalho de Sousa - Coordenador.
-
2017 - 2019
A Ética no Currículo Brasileiro de Ciência da Computação, Descrição: Este projeto tem como proposito investigar essas questões sobre como os novos cientistas da computação estão sendo treinados para lidar com questões de ética computacionais. A intenção é desenvolver um quadro conceitual baseado no método divulgativo de Brey para a cyber ética, que fornece os principais componentes para a tomada de decisões cibernéticas e as mais importantes cyber tecnologias do século XXI, a fim de apoiar a investigação proposta. Será analisada a diretriz curricular da SBC (Sociedade Brasileira de Computação) para os cursos de Ciência da Computação, bem como os 10 melhores cursos de graduação do país. E um conjunto de sugestões relacionadas as questões éticas, que podem ser integradas ao currículos brasileiros de graduação em Ciência da Computação, será apresentado.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Thiago Carvalho de Sousa - Coordenador / Claudia de O. Melo - Integrante.
-
2015 - 2017
Verificação Formal de Sistemas: Teoria e Prática, Descrição: Este projeto pretende realizar um levantamento das principais técnicas por trás do tema verificação formal de sistemas, incluindo as ferramentas mais usadas pela indústria. O objetivo final deste trabalho é produzir um livro que seja referência na área.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Thiago Carvalho de Sousa - Coordenador.
-
2013 - 2015
Um Processo de Análise e Projeto Orientado a Objetos com Suporte à Verificação Automática de Inconsistências, Descrição: Este projeto pretende criar um método baseado em um processo de desenvolvimento difundido e com a incorporação implícita de uma notação formal conhecida de tal forma que o desenvolvedor possa realizar rapidamente verificações de inconsistência sem necessitar do uso de uma linguagem matemática e sem precisar se desligar completamente do processo de desenvolvimento com o qual ele já está acostumado.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) . , Integrantes: Thiago Carvalho de Sousa - Coordenador., Financiador(es): Universidade Estadual do Piauí - Bolsa.
Projetos de desenvolvimento
-
2017 - Atual
Sociautismo, Descrição: Startup criada para dar suporte na gestão de treino de habilidades sociais. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Thiago Carvalho de Sousa - Integrante / Carlos Giovanni Nunes de Carvalho - Coordenador / Constantino Augusto Dias Neto - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado do Piauí - Auxílio financeiro.
-
2017 - Atual
Máquinas Virtuais com Odoo, Descrição: Desenvolvimento de Máquinas Virtuais com o Odoo Pré-Instalado. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Thiago Carvalho de Sousa - Coordenador / Allyson Daniel da Conceição Nascimento - Integrante / Pedro Vagner Dias Rodrigues Filho - Integrante., Financiador(es): Via Personal - Cooperação.
-
2017 - Atual
Sociautismo, Descrição: Startup criada para dar suporte na gestão de treino de habilidades sociais. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Thiago Carvalho de Sousa - Integrante / Carlos Giovanni Nunes de Carvalho - Coordenador / Constantino Augusto Dias Neto - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado do Piauí - Auxílio financeiro.
-
2017 - Atual
Máquinas Virtuais com Odoo, Descrição: Desenvolvimento de Máquinas Virtuais com o Odoo Pré-Instalado. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Thiago Carvalho de Sousa - Coordenador / Allyson Daniel da Conceição Nascimento - Integrante / Pedro Vagner Dias Rodrigues Filho - Integrante., Financiador(es): Via Personal - Cooperação.
-
2017 - Atual
Sociautism, Descrição: Startup criada para dar suporte na gestão de treino de habilidades sociais. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Thiago Carvalho de Sousa - Integrante / Carlos Giovanni Nunes de Carvalho - Coordenador / Constantino Augusto Dias Neto - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado do Piauí - Auxílio financeiro.
-
2017 - Atual
Sociautism, Descrição: Startup criada para dar suporte na gestão de treino de habilidades sociais. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Thiago Carvalho de Sousa - Integrante / Carlos Giovanni Nunes de Carvalho - Coordenador / Constantino Augusto Dias Neto - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado do Piauí - Auxílio financeiro.
-
2018 - Atual
THE LAB, Descrição: Startup criada para aplicação da metodologia STEAM em casa, proporcionando lazer familiar.. , Situação: Em andamento; Natureza: Desenvolvimento.
-
2017 - Atual
Sociautism, Descrição: Startup criada para dar suporte na gestão de treino de habilidades sociais. , Situação: Em andamento; Natureza: Desenvolvimento.
-
2018 - Atual
THE LAB, Descrição: Projeto para aplicação da metodologia STEAM em casa, proporcionando lazer familiar.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Thiago Carvalho de Sousa - Coordenador / Francisco Soares Filho - Integrante / Hermes Manoel Galvão Castelo Branco - Integrante., Financiador(es): SENAI - Departamento Nacional - Cooperação.
-
2017 - 2019
Sociautism, Descrição: Projeto para dar suporte na gestão de treino de habilidades sociais.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Thiago Carvalho de Sousa - Integrante / Carlos Giovanni Nunes de Carvalho - Coordenador / Constantino Augusto Dias Neto - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado do Piauí - Auxílio financeiro.
-
2018 - Atual
THE LAB, Descrição: Projeto para aplicação da metodologia STEAM em casa, proporcionando lazer familiar.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Thiago Carvalho de Sousa - Coordenador / Francisco Soares Filho - Integrante / Hermes Manoel Galvão Castelo Branco - Integrante., Financiador(es): SENAI - Departamento Nacional - Cooperação.
-
2017 - 2019
Sociautism, Descrição: Projeto para dar suporte na gestão de treino de habilidades sociais.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Thiago Carvalho de Sousa - Integrante / Carlos Giovanni Nunes de Carvalho - Coordenador / Constantino Augusto Dias Neto - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado do Piauí - Auxílio financeiro.
-
2018 - Atual
THE LAB, Descrição: Projeto para aplicação da metodologia STEAM em casa, proporcionando lazer familiar.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Thiago Carvalho de Sousa - Coordenador / Francisco Soares Filho - Integrante / Hermes Manoel Galvão Castelo Branco - Integrante., Financiador(es): SENAI - Departamento Nacional - Cooperação.
-
2017 - 2019
Sociautism, Descrição: Projeto para dar suporte na gestão de treino de habilidades sociais.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Thiago Carvalho de Sousa - Integrante / Carlos Giovanni Nunes de Carvalho - Coordenador / Constantino Augusto Dias Neto - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado do Piauí - Auxílio financeiro.
-
2020 - Atual
Aprender Brincando!, Descrição: Desenvolvimento de jogos educativos baseados na metodologia STEAM. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Thiago Carvalho de Sousa - Coordenador / Francisco Soares Filho - Integrante / Hermes Manoel Galvão Castelo Branco - Integrante / José de Oliveira Brito Neto - Integrante., Financiador(es): Fundação de Amparo à Pesquisa ao Desenvolv. Científico e Tecnológico - MA - Bolsa.
-
2018 - 2020
THE LAB, Descrição: Projeto para aplicação da metodologia STEAM em casa, proporcionando lazer familiar.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Thiago Carvalho de Sousa - Coordenador / Francisco Soares Filho - Integrante / Hermes Manoel Galvão Castelo Branco - Integrante., Financiador(es): SENAI - Departamento Nacional - Cooperação.
-
2017 - 2019
Sociautism, Descrição: Projeto para dar suporte na gestão de treino de habilidades sociais.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Thiago Carvalho de Sousa - Integrante / Carlos Giovanni Nunes de Carvalho - Coordenador / Constantino Augusto Dias Neto - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado do Piauí - Auxílio financeiro.
-
2020 - 2022
THE LAB EDU - APRENDER BRINCANDO!, Descrição: Projeto para criação de aplicativo com atividades STEAM.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Thiago Carvalho de Sousa - Coordenador / José de Oliveira Brito Neto - Integrante / SANTOS-FILHO, FRANCISCO SOARES - Integrante / BRANCO, HERMES MANOEL GALVÂO CASTELO - Integrante., Financiador(es): Fundação de Amparo à Pesquisa ao Desenvolv. Científico e Tecnológico - MA - Auxílio financeiro.
-
2017 - 2019
Sociautism, Descrição: Projeto para dar suporte na gestão de treino de habilidades sociais.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Thiago Carvalho de Sousa - Integrante / Carlos Giovanni Nunes de Carvalho - Coordenador / Constantino Augusto Dias Neto - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado do Piauí - Auxílio financeiro.
-
2017 - 2019
Sociautism, Descrição: Projeto para dar suporte na gestão de treino de habilidades sociais.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Thiago Carvalho de Sousa - Integrante / Carlos Giovanni Nunes de Carvalho - Coordenador / Constantino Augusto Dias Neto - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado do Piauí - Auxílio financeiro.
-
2017 - 2019
Sociautism, Descrição: Projeto para dar suporte na gestão de treino de habilidades sociais.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Thiago Carvalho de Sousa - Integrante / Carlos Giovanni Nunes de Carvalho - Coordenador / Constantino Augusto Dias Neto - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado do Piauí - Auxílio financeiro.
Histórico profissional
Endereço profissional
-
Universidade Estadual do Piauí, CTU - Centro de Tecnologia e Urbanismo. , Rua Espírito Santo, 996, Acarape, 64003750 - Teresina, PI - Brasil, Telefone: (86) 32132424
Experiência profissional
2012 - Atual
Universidade Estadual do PiauíVínculo: Servidor público, Enquadramento Funcional: Professor Adjunto IV, Carga horária: 40, Regime: Dedicação exclusiva.
2014 - 2015
Universidade Estadual do PiauíVínculo: Servidor público, Enquadramento Funcional: Diretor do Núcleo de Processamento de Dados, Carga horária: 30
Atividades
-
05/2012
Pesquisa e desenvolvimento, CTU - Centro de Tecnologia e Urbanismo.Linhas de pesquisa
-
05/2012
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Engenharia de Software, Introdução à Metodologia Científica, Programação, Tópicos Avançados em Computação, Estruturas de Dados, Computador e Sociedade
-
05/2012
Extensão universitária , CTU - Centro de Tecnologia e Urbanismo.Atividade de extensão realizada, Programação Infantil.
-
01/2014 - 12/2015
Direção e administração, Núcleo de Processamento de Dados - NPD.Cargo ou função, Diretor.
2024 - 2024
Secretaria de Inteligência ArtificialVínculo: Servidor público, Enquadramento Funcional: Gerente de Programas Estratégicos, Carga horária: 30
2018 - 2022
Universidade Federal do PiauíVínculo: Professor Visitante, Enquadramento Funcional: Professor Permanente, Carga horária: 12
Atividades
-
08/2018
Pesquisa e desenvolvimento, Pró-Reitoria de Pesquisa e Pós-Graduação.Linhas de pesquisa
-
08/2018
Ensino, Mestrado Profissional em Propriedade Intelectual e Inovação, Nível: Pós-GraduaçãoDisciplinas ministradas, Conceitos e Aplicações de Transferência de Tecnologia, Propriedade Intelectual nas Engenharias e nas Tecnologias da Informação e Comunicação
2016 - 2018
Secretaria do Desenvolvimento Econômico e TecnológicoVínculo: Servidor público, Enquadramento Funcional: Superintendente de Ciência e Tecnologia, Carga horária: 30
Atividades
-
01/2016 - 05/2018
Direção e administração, Superintendência de Ciência e Tecnologia.Cargo ou função, Superintendente.
2011 - 2012
Centro Universitário FieoVínculo: Celetista formal, Enquadramento Funcional: Professor Universitário, Carga horária: 12
Atividades
-
08/2011 - 01/2012
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Engenharia de Software, Linguagens e Técnicas de Programação, Programação no Ambiente Internet
2008 - 2012
Centro de Ensino Unificado de TeresinaVínculo: Celetista formal, Enquadramento Funcional: Professor Universitário, Carga horária: 20
2009 - 2009
Centro de Ensino Unificado de TeresinaVínculo: Professor vistante, Enquadramento Funcional: Professor Universitario, Carga horária: 32
Atividades
-
03/2009 - 04/2009
Ensino, Especialização em Engenharia de Software, Nível: EspecializaçãoDisciplinas ministradas, Fundamentos da Engenharia de Software
-
08/2008 - 11/2008
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Engenharia de Software, Estruturas de Dados, Inteligência Artificial
2007 - 2012
FACULDADE DAS ATIVIDADES EMPRESARIAIS DE TERESINAVínculo: Celetista formal, Enquadramento Funcional: Professor Universitario, Carga horária: 40
Atividades
-
02/2007 - 11/2008
Ensino, Sistemas de Informação, Nível: GraduaçãoDisciplinas ministradas, Engenharia de Software, Estruturas de Dados, Inteligência Artificial, Pesquisa e Ordenação
2011 - 2011
University of SouthamptonVínculo: Colaborador, Enquadramento Funcional: Pesquisador Visitante, Carga horária: 40
Atividades
-
03/2011 - 06/2011
Estágios , Dependable Systems and Software Engineering Research Group.Estágio realizado, Desenvolvimento de Extensões para a Plataforma Rodin.
2010 - 2011
AeS - Automação e Sistemas, AeSVínculo: Colaborador, Enquadramento Funcional: Gerente de Pesquisa e Desenvolvimento, Carga horária: 40
Atividades
-
02/2010 - 04/2011
Pesquisa e desenvolvimento, PDI.Linhas de pesquisa
2008 - 2009
CONSTRUTORA SUCESSO S/AVínculo: Colaborador, Enquadramento Funcional: Consultor/Pesquisador, Carga horária: 20
2007 - 2008
CONSTRUTORA SUCESSO S/AVínculo: Celetista, Enquadramento Funcional: Analista de Sistemas, Carga horária: 40
Atividades
-
12/2008 - 05/2009
Pesquisa e desenvolvimento, Núcleo de Sistemas.Linhas de pesquisa
-
02/2007 - 11/2008
Direção e administração, Núcleo de Sistemas.Cargo ou função, Gerente de Informática.
2005 - 2006
Consultores de Integração de Sistemas LtdaVínculo: Colaborador, Enquadramento Funcional: Consultor Funcional Pleno, Carga horária: 40
Atividades
-
03/2005 - 03/2006
Serviços técnicos especializados , Divisão de Consultoria.Serviço realizado, Consultoria em Sistemas de Desempenho Empresarial.
2002 - 2003
Hyperion Latin AmericaVínculo: Celetista, Enquadramento Funcional: Analista de Sistemas, Carga horária: 40
Atividades
-
01/2002 - 06/2003
Serviços técnicos especializados , Suporte Técnico.Serviço realizado, Suporte Técnico em Sistemas de Desempenho.
2004 - 2004
Universidade de São PauloVínculo: Livre, Enquadramento Funcional: Bolsista PAE, Carga horária: 6
2001 - 2003
Universidade de São PauloVínculo: Livre, Enquadramento Funcional: Monitor, Carga horária: 6
2001 - 2002
Universidade de São PauloVínculo: Livre, Enquadramento Funcional: Bolsista Iniciação Cientifica, Carga horária: 6
2000 - 2001
Universidade de São PauloVínculo: Livre, Enquadramento Funcional: Bolsista COSEAS, Carga horária: 6
Atividades
-
08/2004 - 11/2004
Estágios , Instituto de Matemática, Estatística e Ciência da Computação, Departamento de Ciência da Computação.Estágio realizado, Monitoria PAE na disciplina "Introdução à Computação".
-
02/2004 - 06/2004
Estágios , Instituto de Matemática, Estatística e Ciência da Computação, Departamento de Ciência da Computação.Estágio realizado, Monitoria PAE na disciplina "Laboratorio de Programação".
-
02/2003 - 06/2003
Estágios , Instituto de Matemática, Estatística e Ciência da Computação, Departamento de Ciência da Computação.Estágio realizado, Monitoria na disciplina "Programação Concorrente".
-
02/2002 - 06/2002
Estágios , Instituto de Matemática, Estatística e Ciência da Computação, Departamento de Ciência da Computação.Estágio realizado, Monitoria na disciplina "Laboratorio de Programação I".
-
08/2001 - 11/2001
Estágios , Instituto de Matemática, Estatística e Ciência da Computação, Departamento de Ciência da Computação.Estágio realizado, Monitoria na disciplina "Linguagens Formais e Automatos".
-
07/2000 - 06/2001
Estágios , Escola Politécnica, Laboratório de Sistemas Integráveis.Estágio realizado, Projeto e Implantação de Web Sites.
2025 - 2025
Empresa Teresinense de Processamento de DadosVínculo: Servidor público, Enquadramento Funcional: Diretor de Transformação Digital, Carga horária: 30
2026 - Atual
Secretaria Municipal de Ciência, Tecnologia e InovaçãoVínculo: Servidor público, Enquadramento Funcional: Secretário Executivo de Transformação Digital, Carga horária: 30
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Thiago Carvalho de Sousa 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?