Thiago Carvalho de Sousa

  • Endereço para acessar este CV: http://lattes.cnpq.br/0747590813597124
  • Última atualização do currículo em 20/09/2018


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 Adjunto do Centro de Tecnologia e Urbanismo da Universidade Estadual do Piauí (UESPI) - Campus Teresina. Foi Superintendente Estadual de Ciência e Tecnologia (SEDET), além de Diretor do Núcleo de Processamento de Dados (NPD) da Universidade Estadual do Piauí (UESPI). 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á trabalhou como Gerente de Projetos, Analista de Processos e Engenheiro de Requisitos na Hyperion/Oracle, CIS, Johnson & Johnson, Goodyear, NET/Embratel, Sucesso/Grupo Claudino e Alstom/Grupo AeS. 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 e ética na computação. (Texto informado pelo autor)


Identificação


Nome
Thiago Carvalho de Sousa
Nome em citações bibliográficas
DE SOUSA, T. C.;SOUSA, T. C.;SOUZA, THIAGO CARVALHO DE

Endereço


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


Formação acadêmica/titulação


2009 - 2013
Doutorado em Engenharia de Computação e Sistemas Digitais.
Universidade de São Paulo, USP, Brasil.
com período sanduíche em University of Southampton (Orientador: Colin Snook).
Título: Um Processo de Desenvolvimento Orientado a Objetos com Suporte à Verificação Formal de Inconsistências, Ano de obtenção: 2013.
Orientador: Paulo Sérgio Muniz Silva.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
2003 - 2007
Mestrado em Ciências da Computação.
Universidade de São Paulo, USP, Brasil.
Título: Revisão de Modelos Formais de Sistemas de Estados Finitos,Ano de Obtenção: 2007.
Orientador: Renata Wassermann.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
1998 - 2002
Graduação em Ciência da Computação.
Universidade de São Paulo, USP, Brasil.
Título: Ferramentas OLAP.
Orientador: Renata Wassermann.




Formação Complementar


2018 - 2018
Curso Geral de Propriedade Intelectual à Distância. (Carga horária: 75h).
Instituto Nacional da Propriedade Industrial, INPI, Brasil.


Atuação Profissional



Universidade Estadual do Piauí, UESPI, Brasil.
Vínculo institucional

2018 - Atual
Vínculo: , Enquadramento Funcional:


Universidade Estadual do Piauí, UESPI, Brasil.
Vínculo institucional

2012 - Atual
Vínculo: , Enquadramento Funcional: Professor Adjunto III, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

2014 - 2015
Vínculo: Servidor Público, Enquadramento Funcional: Diretor do Núcleo de Processamento de Dados, Carga horária: 30

Atividades

05/2012 - Atual
Pesquisa e desenvolvimento , CTU - Centro de Tecnologia e Urbanismo, .

05/2012 - Atual
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas 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 - Atual
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.

Universidade Federal do Piauí, UFPI, Brasil.
Vínculo institucional

2018 - Atual
Vínculo: Professor Visitante, Enquadramento Funcional: Professor Permanente, Carga horária: 12

Atividades

08/2018 - Atual
Pesquisa e desenvolvimento , Pró-Reitoria de Pesquisa e Pós-Graduação, .

Linhas de pesquisa
Propriedade Intelectual
08/2018 - Atual
Ensino, Mestrado Profissional em Propriedade Intelectual e Inovação, Nível: Pós-Graduação

Disciplinas ministradas
Conceitos e Aplicações de Transferência de Tecnologia
Propriedade Intelectual nas Engenharias e nas Tecnologias da Informação e Comunicação

Secretaria do Desenvolvimento Econômico e Tecnológico, SEDET, Brasil.
Vínculo institucional

2016 - 2018
Vínculo: Servidor Público, Enquadramento Funcional: Superintendente de Ciência e Tecnologia, Carga horária: 30

Atividades

01/2016 - Atual
Direção e administração, Superintendência de Ciência e Tecnologia, .

Cargo ou função
Superintendente.

Centro Universitário FIEO, UNIFIEO, Brasil.
Vínculo institucional

2011 - 2012
Ví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ção

Disciplinas ministradas
Engenharia de Software
Linguagens e Técnicas de Programação
Programação no Ambiente Internet

Centro de Ensino Unificado de Teresina, CEUT, Brasil.
Vínculo institucional

2008 - 2012
Vínculo: Celetista formal, Enquadramento Funcional: Professor Universitário, Carga horária: 20

Vínculo institucional

2009 - 2009
Ví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ção

Disciplinas ministradas
Fundamentos da Engenharia de Software
08/2008 - 11/2008
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Engenharia de Software
Estruturas de Dados
Inteligência Artificial

Faculdade das Atividades Empresariais de Teresina, FAETE, Brasil.
Vínculo institucional

2007 - 2012
Vínculo: Celetista formal, Enquadramento Funcional: Professor Universitario, Carga horária: 40

Atividades

02/2007 - 11/2008
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
Engenharia de Software
Estruturas de Dados
Inteligência Artificial
Pesquisa e Ordenação

University of Southampton, SOUTHAMPTON, Inglaterra.
Vínculo institucional

2011 - 2011
Ví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.

AeS - Automação e Sistemas, AeS, Brasil.
Vínculo institucional

2010 - 2011
Vínculo: Colaborador, Enquadramento Funcional: Gerente de Pesquisa e Desenvolvimento, Carga horária: 40

Atividades

02/2010 - 04/2011
Pesquisa e desenvolvimento , PDI, .


Construtora Sucesso S/A, CS, Brasil.
Vínculo institucional

2008 - 2009
Vínculo: Colaborador, Enquadramento Funcional: Consultor/Pesquisador, Carga horária: 20

Vínculo institucional

2007 - 2008
Vínculo: Celetista, Enquadramento Funcional: Analista de Sistemas, Carga horária: 40

Atividades

12/2008 - 05/2009
Pesquisa e desenvolvimento , Núcleo de Sistemas, .

02/2007 - 11/2008
Direção e administração, Núcleo de Sistemas, .

Cargo ou função
Gerente de Informática.

Empresa Brasileira de Telecomunicações S/A, EMBRATEL, Brasil.
Vínculo institucional

2005 - 2006
Vínculo: Colaborador, Enquadramento Funcional: Consultor de Sistemas, Carga horária: 40

Atividades

10/2005 - 03/2006
Serviços técnicos especializados , Divisão de Tecnologia da Informação, .

Serviço realizado
Implantação de Sistema de Gestão de Desempenho Empresarial.

Goodyear Tyre And Rubber Company, GOODYEAR, Estados Unidos.
Vínculo institucional

2005 - 2005
Vínculo: Colaborador, Enquadramento Funcional: Consultor de Sistemas Estratégicos, Carga horária: 40

Atividades

05/2005 - 10/2005
Serviços técnicos especializados , Centro de Sistemas, .

Serviço realizado
Implantação de Sistema de Gestão de Desempenho Empresarial.

Johnson & Johnson S/A Industria e Comercio, JOHNSON&JOHNSON, Brasil.
Vínculo institucional

2005 - 2005
Vínculo: Colaborador, Enquadramento Funcional: Consultor de Sistemas Estratégicos, Carga horária: 40

Atividades

01/2005 - 05/2005
Serviços técnicos especializados , Divisão de Informática, .

Serviço realizado
Implantação de Sistema de Gestão de Desempenho Empresarial.

Consultores de Integração de Sistemas Ltda, CIS, Brasil.
Vínculo institucional

2005 - 2006
Ví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.

Hyperion Latin America, HYPLATAM, Estados Unidos.
Vínculo institucional

2002 - 2003
Ví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.

Universidade de São Paulo, USP, Brasil.
Vínculo institucional

2004 - 2004
Vínculo: Livre, Enquadramento Funcional: Bolsista PAE, Carga horária: 6

Vínculo institucional

2001 - 2003
Vínculo: Livre, Enquadramento Funcional: Monitor, Carga horária: 6

Vínculo institucional

2001 - 2002
Vínculo: Livre, Enquadramento Funcional: Bolsista Iniciação Cientifica, Carga horária: 6

Vínculo institucional

2000 - 2001
Vínculo: Livre, Enquadramento Funcional: Bolsista COSEAS, Carga horária: 6

Atividades

08/2004 - 11/2004
Estágios , Instituto de Matemática e Estatística, 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 e Estatística, 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 e Estatística, 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 e Estatística, 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 e Estatística, 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.


Linhas de pesquisa


1.
Geração Automática de Testes
2.
Verificação Formal de Modelos
3.
Métodos Formais na UML
4.
Propriedade Industrial
5.
Ética na Computação
6.
Propriedade Intelectual


Projetos de pesquisa


2017 - Atual
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: Em andamento; Natureza: Pesquisa.
2015 - Atual
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: Em andamento; Natureza: Pesquisa.
2013 - 2014
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 extensão


2018 - Atual
Ensino de Computação na Metodologia STEAM para o 1º Ano do Ensino Fundamental
Descrição: STEAM é um acrônimo em inglês para as disciplinas Science, Technology, Engineering, Arts e Mathematics. É considerada uma metodologia integrada e baseada em projetos, que tem o objetivo de formar pessoas com diversos conhecimentos, desenvolver valores juntamente com os conteúdos abordados e preparar alunos e cidadãos para os desafios do futuro. Tem se aplicada no contexto da Educação 4.0 em países do primeiro mundo, em especial nos EUA, Canadá e Inglaterra. O processo de STEAM tem cinco etapas básicas: 1 ? Investigar; 2 ? Descobrir; 3 ? Conectar; 4 ? Criar e 5 ? Refletir. Com o STEAM, alunos experimentam e vivenciam o pensamento científico de maneira interpretativa e reflexiva, seja por meio de brincadeiras no ensino fundamental ou em projetos interdisciplinares para turmas mais avançadas. Em atividades focadas na metodologia STEAM, alunos resolvem problemas, pensam ?fora da caixa? e se beneficiam de um aprendizado interdisciplinar. Assim, a metodologia STEAM tem foco no desenvolvimento de algumas habilidades essenciais para o aluno do século XXI, tais como: Criatividade, imaginação e inovação; Pensamento crítico e resolução de problemas; Comunicação e colaboração; Flexibilidade e adaptabilidade; Habilidades sociais e culturais; Capacidade de lidar com diferentes situações..
Situação: Em andamento; Natureza: Extensão.
2016 - 2017
Artigos que Amamos em Ciência da Computação
Descrição: A ciência da computação, por ser uma das mais recentes ciências existentes, está em um momento de grandes descobertas tecnológicas. Assim, muitos dos artigos existentes nesta área são históricos e, apesar de recentes, tem grande impacto científico mundial. Para debate-los, foi criado recentemente um projeto denominado Papers We Love, um repositório compartilhado de forma gratuita na Internet, no qual pesquisadores de diversos países do mundo os apresentam de forma simples e concisa, contribuindo para a disseminação da importância deles na comunidade científica. No Brasil, apenas Brasilia faz parte desta rede compartilhada e esse programa de extensão insere Teresina como participante deste projeto mundial..
Situação: Concluído; Natureza: Extensão.
Alunos envolvidos: Graduação: (1) .
Integrantes: Thiago Carvalho de Sousa - Coordenador.
2016 - 2016
PIAUITEC?2016 - A Ciência vai ao Shopping
Descrição: A realização da Semana Estadual de Ciência e Tecnologia ? SECT já se justifica por si, tendo em vista a necessidade premente de atrair jovens para se integrarem ao estudo das diferentes ciências. Estes ano a SECT será o principal evento da Semana Nacional de Ciência e Tecnologia - SNCT?2016 que traz como tema ?Ciência alimentando o Brasil?, uma temática ampla, com direcionamento para diferentes ciências, cujo espectro alcança as ciências da natureza, engenharias, ciências computação, ciências exatas e da Terra, ciências da saúde etc., todas carecendo de novos adeptos. A SNCT termina sendo o maior evento de difusão científica do país pela sua articulação com Estados e Municípios na intenção de promover a ciência, tecnologia e inovação de modo tão pitoresco..
Situação: Concluído; Natureza: Extensão.
2015 - 2015
Desenvolvimento de Sistemas Web com Java
Descrição: O presente projeto tem como objetivo oferecer um curso de extensão na área desenvolvimento de sistemas utilizando a linguagem de programação Java, em especial com foco em serviços para Internet. O curso aborda tanto aspectos teóricos, quanto práticos, fazendo com que o aluno, ao terminá-lo, conheça os aspectos fundamentais do desenvolvimento de sistemas web por meio da linguagem Java, bem como seja capaz de implantar na prática no seu trabalho..
Situação: Concluído; Natureza: Extensão.
2014 - 2014
Informática Básica para Professores da Educação Básica da Rede Pública
Descrição: O Curso de Iniciação Informática Básica tem por objetivo o desenvolvimento de competências relativas ao manuseio do computador e seu significado na concepção de sistemas computadorizados elementos físicos do sistema (hardware) em função de sua utilização no tratamento da informação e programação (software) na concepção de ferramentas de apoio no ambiente profissional, diferentes aplicativos em função de necessidades. Adquirir habilidades de elaborar texto com auxílio de editor de textos, estruturar planilhas de cálculo com ajuda de planilha eletrônica , elaborar recursos visuais com ajuda de programa de apresentação gráfica ? Pacote Officer, pesquisar na rede internet com auxilio de programa específico ? Internet Explorer, Firefox, Chrome. Desenvolver hábitos de aplicação de programas antivírus, gravação de trabalhos em cópias de segurança ? Dropbox, GoogleDriver, Skydriver, consulta de manuais, conservação de equipamento, manutenção do sistema..
Situação: Concluído; Natureza: Extensão.
2013 - 2013
Ensino Infantil de Computação sem Computadores
Descrição: O ensino de noções da computação em escolas do ensino básico se dá mediante a utilização direta de computadores. Essa abordagem, no entanto, apresenta algumas desvantagens: a impressão que os alunos só podem aprender computação se existir a disponibilidade de um computador; muitas escolas, principalmente as públicas, ainda não têm um laboratório de informática; e os mecanismos de ensino atuais se restringem ao ensino da utilização de programas pré-existentes (vídeo, áudio, edição de texto, etc.). Essas limitações fazem com que o ensino de computação seja por muitas vezes negligenciado, desperdiçando-se uma de suas principais funções: o desenvolvimento do raciocínio lógico e da capacidade criativa do aluno. Este projeto visa capacitar professores da rede pública de ensino em formação básica de informática, mediante o desenvolvimento de atividades cognitivas e eficientes, com base no livro "Computer Science Unplugged An enrichment and extension programme for primary-aged children" de Tim Bell, Ian H. Witten e Mike Fellows, que promovam a absorção dos conceitos fundamentais da computação através de elementos didáticos que dispensem o computador..
Situação: Concluído; Natureza: Extensão.
Alunos envolvidos: Graduação: (2) .
Integrantes: Thiago Carvalho de Sousa - Coordenador / Samara de Oliveira Silva - Integrante.
2012 - 2012
ENUCOMP 2012 - Encontro Unificado de Computação em Parnaíba
Descrição: O projeto Encontro Unificado de Computação em Parnaíba é uma proposta das Instituições de Parnaíba, que atuam no ensino superior, técnico e profissional de informática. Sua proposta está pautada na contribuição para a troca de experiências, buscando a união dos acadêmicos; no fortalecimento da parceria no desenvolvimento da educação e da informática; e no incentivo à produção de trabalhos científicos ligados a informática e a tecnologia. O ENUCOMP 2012 busca expandir os conhecimentos com palestras de acadêmicos, professores e profissionais de informática renomados; capacitação dos alunos através de minicursos e o incentivo à produção de artigos científicos. Ao mesmo tempo, buscam-se parcerias com outras áreas do conhecimento, objetivando uma melhoria na qualidade da produção científica..
Situação: Concluído; Natureza: Extensão.


Projetos de desenvolvimento


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.


Membro de comitê de assessoramento


2017 - 2018
Agência de fomento: Conselho Nacional dos Secretários para Assuntos de CTI
2016 - 2018
Agência de fomento: Conselho Nacional dos Secretários para Assuntos de CTI
2017 - Atual
Agência de fomento: Organização Social de Tecnologia da Informação e Comunicação do Piauí
2016 - 2016
Agência de fomento: Fundação de Amparo à Pesquisa do Estado do Piauí
2016 - 2018
Agência de fomento: Fundação de Amparo à Pesquisa do Estado do Piauí
2016 - 2018
Agência de fomento: Serviço de Apoio às Micros e Pequenas Empresas do Piauí
2016 - 2018
Agência de fomento: Fundação Centro de Pesquisas Econômicas e Sociais do Piauí
2016 - Atual
Agência de fomento: Câmara Setorial de Tecnologia da Informação e Comunicação
2016 - Atual
Agência de fomento: Centro Unificado de Inovação Aplicada
2015 - 2017
Agência de fomento: Universidade Estadual do Piauí
2015 - 2015
Agência de fomento: Universidade Estadual do Piauí


Áreas de atuação


1.
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.
2.
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.
3.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Informática na Educação.
4.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Propriedade Industrial.


Idiomas


Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Francês
Compreende Razoavelmente, Fala Razoavelmente, Lê Bem, Escreve Bem.
Espanhol
Compreende Razoavelmente, Fala Razoavelmente, Lê Bem, Escreve Bem.


Produções



Produção bibliográfica
Artigos completos publicados em periódicos

1.
DE SOUSA, T. C.2017DE 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.

2.
DA SILVA, HILSON BARBOSA2016DA 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.

3.
Savicks, V.2012Savicks, 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.

4.
DE SOUSA, T. C.2011 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.

5.
MATOS, ERNESTO CID BRASIL2010MATOS, 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.

6.
DE SOUSA, T. C.;SOUSA, T. C.;SOUZA, THIAGO CARVALHO DE2010 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.

Livros publicados/organizados ou edições
1.
DE SOUSA, T. C.; Lopes, A. R. . Tecnologias assistivas na educação de pessoas surdas: uma abordagem computacional. 1. ed. Teresina: FUESPI, 2016. 98p .

2.
DE SOUSA, T. C.; Baluz, R. (Org.) . Anais Eletrônicos: Enucomp 2014. 1. ed. Teresina: FUESPI, 2014. v. 1. 142p .

3.
Baluz, R. (Org.) ; DE SOUSA, T. C. (Org.) . Anais Eletrônicos: Enucomp 2013. 1. ed. Teresina: FUESPI, 2013. v. 1. 159p .

4.
DE SOUSA, T. C.; Baluz, R. (Org.) . Anais Eletrônicos: Enucomp 2012. 1. ed. Teresina: FUESPI, 2012. v. 1. 194p .

Textos em jornais de notícias/revistas
1.
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.

2.
DE SOUSA, T. C.. Introdução ao Iconix. SQL magazine, , v. 94, p. 58 - 66, 01 dez. 2011.

3.
DE SOUSA, T. C.. Incorporando Restrições à UML. Engenharia de Software Magazine, Rio de Janeiro, p. 14 - 20, 01 ago. 2009.

Trabalhos completos publicados em anais de congressos
1.
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.

2.
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.

3.
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.

4.
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.

5.
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.

6.
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.

7.
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.

8.
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.

9.
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.

10.
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.

11.
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.

12.
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.

13.
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.

14.
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.

Resumos expandidos publicados em anais de congressos
1.
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.

Resumos publicados em anais de congressos
1.
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.

2.
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.

3.
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.

4.
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.

5.
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.

6.
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.


Produção técnica
Programas de computador sem registro
1.
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.

2.
DE SOUSA, T. C.; Wassermann, R. . NuSMV-BR - Um Verificador de Modelos com Suporte à Revisão de Crenças. 2007.

Produtos tecnológicos
1.
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.


Demais tipos de produção técnica
1.
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).

2.
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).



Patentes e registros



Programa de computador
1.
DE SOUSA, T. C.; DIAS NETO, C. A. . ROBOSTOCK. 2014.
Patente: Programa de Computador. Número do registro: BR512015000961-3, data de registro: 20/05/2014, título: "ROBOSTOCK" , Instituição de registro: INPI - Instituto Nacional da Propriedade Industrial.

2.
CUNHA, L. C. ; DIAS NETO, C. A. ; DE SOUSA, T. C. . BIBLIDIG. 2015.
Patente: Programa de Computador. Número do registro: BR5120150002-9, data de registro: 30/03/2015, título: "BIBLIDIG" , Instituição de registro: INPI - Instituto Nacional da Propriedade Industrial.



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
SANTOS NETO, P. A.; MOURA, R. S.; ROCHA, L. S.; DE SOUSA, T. C.. Participação em banca de Denise Alves da Costa. 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í.

2.
SOUSA, P. B. M.; de Sousa, Thiago C.; SOUZA, V. L. P.. Participação em banca de Athanio de Sousa Silveira. 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á - Reitoria.

Qualificações de Mestrado
1.
CAMPELO FILHO, E. G.; RABELO NETO, A.; DE SOUSA, T. C.. Participação em banca de Valberto Barroso da Costa. Identificando os Fatores que Influenciam no Processo de Implantação de Sistemas ERP Acadêmico. 2018. Exame de qualificação (Mestrando em Administração Pública) - Universidade Federal do Piauí.

2.
Santos Neto, P. A.; Passos, E. B.; DE SOUSA, T. C.. Participação em banca de Denise Alves da Costa. Detecção de Variabilidades e Comunalidades em uma Família de Produtos de Software. 2016. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal do Piauí.

Trabalhos de conclusão de curso de graduação
1.
Carvalho, C. G. N.; DE SOUSA, T. C.; Silva, B. C.. Participação em banca de Raimundo Ivo da Silva e André Luiz Carvalho Lopes.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í.

2.
Carvalho, C. G. N.; DE SOUSA, T. C.; Silva, B. C.. Participação em banca de Cícera do Amparo Alves de Araújo.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í.

3.
Santos, J. C.; Alcantara, S. P.; DE SOUSA, T. C.. Participação em banca de Aderlan Ferreira Moraes, Evelyne Gava e Marcela Tizzo Soares.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.

4.
Bernardes Junior, J. L.; DE SOUSA, T. C.; Machion, A. C. G.. Participação em banca de Aline Januszkiewicz Lopes e Barbara de Oliveira Lopes.Jogos Eletrônicos na Aprendizagem. 2011. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Centro Universitário FIEO.

5.
Machion, A. C. G.; Reis, R. W.; DE SOUSA, T. C.. Participação em banca de Alex da Silva, Allan Silva, Janilton Gomes e Thiago Guiotti.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.

6.
Machion, A. C. G.; Reis, R. W.; DE SOUSA, T. C.. Participação em banca de Karina Duarte, Márcia da Costa, Vania Gomes e Luis Mirabelli.Casa Automatizada. 2011. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Centro Universitário FIEO.

7.
Cruz, R.O.; DE SOUSA, T. C.; Araujo, F. J.. Participação em banca de Nilton de Freitas Marques Pessoa.Execução Musical em Baterias Acústicas Utilizando Braços Mecânicos. 2008 - Faculdade das Atividades Empresariais de Teresina.



Participação em bancas de comissões julgadoras
Concurso público
1.
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.

Outras participações
1.
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í.

2.
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í.

3.
DE SOUSA, T. C.; Machado, J.; SILVEIRA, A.. Concurso de Artigos Científicos - ENUCOMP. 2012. Universidade Estadual do Piauí.

4.
DE SOUSA, T. C.; Rocha, F.; Rabelo, R.. Concurso de Trabalhos de Iniciação Científica de Sistemas de Informação. 2012. Faculdade Piauiense.



Eventos



Organização de eventos, congressos, exposições e feiras
1.
DE SOUSA, T. C.; Branco, H. M. G. C. ; SOARES FILHO, F. . Pint of Science -Teresina. 2018. (Festival).

2.
Branco, H. M. G. C. ; DE SOUSA, T. C. . Olimpiada Brasileira de Robótica - Etapa Regional do Piauí. 2018. .

3.
DE SOUSA, T. C.; Branco, H. M. G. C. ; Soares Filho, F. . PIAUITEC?2017 - A Ciência vai ao Parque. 2017. .

4.
DE SOUSA, T. C.; Branco, H. M. G. C. ; SOARES FILHO, F. . Pint of Science - Teresina. 2017. (Festival).

5.
DE SOUSA, T. C.; Branco, H. M. G. C. ; Soares Filho, F. . PIAUITEC?2016 - A Ciência vai ao Shopping. 2016. .

6.
DE SOUSA, T. C.; Baluz, R. . ENUCOMP 2014 - Encontro Unificado de Comutação em Parnaíba. 2014. (Congresso).

7.
DE SOUSA, T. C.; Baluz, R. . ENUCOMP 2013 - Encontro Unificado de Comutação em Parnaíba. 2013. (Congresso).

8.
DE SOUSA, T. C.; Baluz, R. . ENUCOMP 2012 - Encontro Unificado de Comutação em Parnaíba. 2012. (Congresso).



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
Paulo César Coutinho. O Ecossistema de Startups de Tecnologia da Informação e Comunicação do Piauí. Início: 2017. Dissertação (Mestrado profissional em Informática Aplicada) - Universidade de Fortaleza. (Coorientador).

Tese de doutorado
1.
Maurício Rego Mota da Rocha. Seleção de Testes gerados a partir de Modelos Formais extraídos de Diagramas UML. Início: 2015. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo. (Coorientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Hilson Barbosa da Silva. 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.

Monografia de conclusão de curso de aperfeiçoamento/especialização
1.
Ely Bezerra Silva Junior. 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.

Trabalho de conclusão de curso de graduação
1.
Kelson Alexandre Lustoza da Costa. 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.

2.
Diego Laverson Freitas. 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.

3.
Luciano Kelvin da Silva. 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.

4.
Ernesto Cid Brasil Matos. 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.

5.
Everton Teixeira Graciano de Almeida. 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.

6.
Hilson Barbosa da Silva. 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.

Iniciação científica
1.
Renato Félix da Silva Souza. 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.

2.
Leonardo Costa Lima. 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.

3.
Renato Félix da Silva Souza. 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.

4.
Leonardo Costa Lima. 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.

5.
Renato Félix da Silva Souza. 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.

6.
Luciano Kelvin da Silva. 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.



Inovação



Projetos de pesquisa

Projeto de desenvolvimento tecnológico

Projeto de extensão


Educação e Popularização de C & T



Organização de eventos, congressos, exposições e feiras
1.
DE SOUSA, T. C.; Branco, H. M. G. C. ; Soares Filho, F. . PIAUITEC?2017 - A Ciência vai ao Parque. 2017. .

2.
DE SOUSA, T. C.; Branco, H. M. G. C. ; SOARES FILHO, F. . Pint of Science -Teresina. 2018. (Festival).

3.
DE SOUSA, T. C.; Branco, H. M. G. C. ; Soares Filho, F. . PIAUITEC?2016 - A Ciência vai ao Shopping. 2016. .

4.
Branco, H. M. G. C. ; DE SOUSA, T. C. . Olimpiada Brasileira de Robótica - Etapa Regional do Piauí. 2018. .

5.
DE SOUSA, T. C.; Branco, H. M. G. C. ; SOARES FILHO, F. . Pint of Science - Teresina. 2017. (Festival).




Página gerada pelo Sistema Currículo Lattes em 18/10/2018 às 22:24:57