CV Lattes
ResearcherID
ORCID
Universidade de São Paulo (USP). Escola Politécnica (EP) (Instituição Sede da última proposta de pesquisa) País de origem: Brasil
Bacharel em Fisica pela Universidade Federal da Bahia (1980), mestre em Física pela Universidade Federal de Pernambuco (1985), Mestrado Profissional em Interdisciplinary Computer Science, Mills College, USA, doutorado em Engenharia de Computação pela Universidade de São Paulo (1992). Pós doutorado em Ciência da Computação e em Engenharia e Design de Sistemas, respectivamente pelo Computer Science Department e pelo Systems Design Engineering Department da University of Waterloo, Canadá. Atualmente é professor associado III na Escola Politécnica da Universidade de São Paulo, lotado no Depto. de Engenharia Mecatrônica. Os interesses de pesquisa são em Engineering Design: modelagem e análise de requisitos, métodos formais para verificação, knowledge Engineering; redes de Petri; Sistemas inteligentes: planejamento e escalonamento automáticos; Service Science: service design, ciclo de vida de serviços, transformação digital e modelagem estratégica na evolução para a Industria 4.0 com orientação a serviço. As aplicações de interesse são em automação da manufatura, sistemas de dados e de serviços. (Fonte: Currículo Lattes)
| Matéria(s) publicada(s) na Agência FAPESP sobre o(a) pesquisador(a) |
| Mais itensMenos itens |
| TITULO |
| Matéria(s) publicada(s) em Outras Mídias ( ): |
| Mais itensMenos itens |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |
O FAPESP - Shell Centro de Pesquisa e Inovação de Gases de Efeito Estufa tem como objetivo ser um centro de classe mundial para estudos avançados com foco em inovação para sustentabilidade e mitigação de emissões de gases de efeito estufa. O Centro complementa a experiência da Fapesp no apoio à pesquisa científica de alto nível e ao desenvolvimento de tecnologia nessas áreas. Temos como o…
O evento tem várias atividades ou sub-eventos, começando pela Escola Avançada de Planning & Scheduling (22 a 24 de junho), seguido pelos tutoriais, Doctororal Consortium, Systems Demonstration, Worshops Temáticos, todos estas como atividades paralelas (25 e 26). A main confere reune o resultado de todas as atividades de 27 a 29 de junho. Alguns dos convidados (discriminados nos documentos…
A interação com o Prof. John Christopher Beck começou no final de 2008 e em 2009 ele recebeu um aluno de doutorado sanduíche, quando começamos a publicar juntos. A visita tem como objetivo finalizar a discussão de dois artigos que serão enviados a jornal, bem como discutir os passos para a continuidade da colaboração. Além disso discutiremos a preparação do evento do ICAPS 2012 no Brasil …
Muito se tem especulado sobre a Rede EPC, ou Código Eletrônico de Produtos, porém, pouco ou nada se obteve de resultados significativos frente aos investimentos necessários. Isso se decorre do fato da Rede EPC ser apresentada como uma mera substituta do código de barras pela Identificação por Rádio Freqüência, ao invés de ser abordada como parte de uma solução integrada. Esse trabalho pre…
Utilização de lógica, técnicas de transferência semântica e métodos formais para representação de design para reutilização de projetos em engenharia. (AU)
Desenvolvimento de gerenciadores e planejadores automatizados para operação ao nível de tarefa de sistemas associados de robôs (inoveis ou manipuladores) que desenvolvem tarefas cooperativas. O gerenciador é baseado no formalismo de Redes de Petri para o processo de planejamento e em inteligência artificial distribuída para lidar com a dependência entre os estados dos robôs. Propõe-se um …