Jose Reinaldo Silva
Bio
Bachelor in Physics from Bahia Federal University, got aMSc in Physics from Pernanbuco Federal University UFPE, and a MA in Computer Science from Mills College, USA. PhD in Computer Engineering by Universith of São Paulo and postdoc in Computer Science and in Systems Design Engineering at University of Waterloo, Ca. Research interests are in Engineering Systems Design, Requirements Engineering, Service Design Management and Engineering, Artificial Intelligence, Planning & Scheduling, Formal Verification methods, Data Spaces and Digital Transformation towards Industry 4.0.
Informações Gerais
| Nome completo | Jose Reinaldo Silva |
|---|---|
| reinaldo@usp.br | |
| Lattes CV | http://lattes.cnpq.br/9317869378701106 |
| Membro Desde | 07 de Setembro de 2020, 12:48 |
Meus Grupos de Pesquisa
| Nome | Transformação Digital Estratégica |
|---|---|
| Colaboradores | Alessandro Rodrigues Frias, Elinilson Vital, Eston Almança dos Santos, Jose Reinaldo Silva, Sandro Breval Santiago |
| Arquivos |
|
| Projetos | |
| Nome | AI Planning and Machine Intelligence |
| Colaboradores | Elinilson Vital, Jose Reinaldo Silva, Luiz Fernando Ferreira da Silva, Yaney Gomez Correa |
| Arquivos |
|
| Projetos | |
| Nome | D-Lab todos os grupos |
| Colaboradores | Alessandro Rodrigues Frias, Daniel Mendoza Quiñones, Elinilson Vital, Eston Almança dos Santos, Jose Reinaldo Silva, Leonardo Morais de Souza, Luiz Fernando Ferreira da Silva, Matheus Alexandrino Brito, Sandro Breval Santiago, Yaney Gomez Correa |
| Arquivos |
|
| Projetos |
|
| Nome | D-Lab: Engenharia de Serviços e Manufatura em Nuvem |
| Colaboradores | Alessandro Rodrigues Frias, Daniel Mendoza Quiñones, Elinilson Vital, Eston Almança dos Santos, Jose Reinaldo Silva, Sandro Breval Santiago, Yaney Gomez Correa |
| Arquivos |
|
| Projetos | |
| Nome | Data Space aplicada a Saúde |
| Colaboradores | Daniel Mendoza Quiñones, Elinilson Vital, Jose Reinaldo Silva, Yaney Gomez Correa |
| Arquivos |
|
| Projetos |
|
| Nome | Formal verification & Petri Nets |
| Colaboradores | José Jean-Paul Z. S. Tavares, Jose Reinaldo Silva, Matheus Alexandrino Brito, Yaney Gomez Correa |
| Arquivos |
|
| Projetos |
|
| Nome | CUIDI equipe de desenvolvimento |
| Colaboradores | Elinilson Vital, Jose Reinaldo Silva, Yaney Gomez Correa |
| Arquivos |
|
| Projetos |
Atividade Recente
-
Projeto integrador do D-Lab
- Data de Início:
- 25/04/2025 01/01/2000
- Data final:
- 24/05/2025 01/01/2000
Desenvolvimento de um APR (Auxílio à Pesquisa Regular) para dar suporte acadêmico a um projeto unificado do D-Lab, integrando todas as atividades que estão sendo desenvolvidos nesse momento (e com potencial de inclusão das atividades dos posdocs e de novos integrantes). O foco acadêmico é o desenvolvimento de sistemas de serviço com aplicações em processos produtivos, tendo como deliverable um sistema de apoio baseado em conhecimento na nuvem.A equipe do D-Lab nesse momento conta com seis pessoas: o coordenador, dois mestrandos, dois doutorandos e um IC. Temos ainda dois posdocs em processo de elaboração e submissão dos respectivos planos de trabalho, o que somaria oito componentes. Com o projeto abrimos espaço para migrar as atuais bolsas (uma de mestrado e uma de doutorado) para a FAPESP e incluir mais seis novos participantes (reaproveitando as bolsas CAPES), um crescimento de 75%. Ainda não está confirmado mas o projeto implica em ter pelo menos um pesquisador associado além dos posdocs e o Javier Martinez é o convidado. -
Reunião do D-Lab
- Data de Início:
- 28/02/2024 01/01/2000
- Data final:
- 28/02/2024 01/01/2000
Esta será uma reunião mais executiva, mas terá como tema os tópicos recentemente colocados sobre Modelagem e Design de Sistemas, e sobre os projetos, incluindo os de IA. Vamos ratificar a definição dos times de projeto e a estrutura mínima de trabalho, visando melhorar a performance.