CV Lattes
Universidade de São Paulo (USP). Faculdade de Filosofia, Ciências e Letras de Ribeirão Preto (FFCLRP) (Instituição Sede da última proposta de pesquisa) País de origem: Brasil
Possui graduação em Bacharelado em Ciência da Computação pela Universidade Federal de São Carlos (1995), mestrado em Ciência da Computação pela Universidade Federal de São Carlos (1997) e doutorado em Ciência da Computação - University of Twente (2002). Atualmente é professor associado da Faculdade de Filosofia, Ciências e Letras de Ribeirão Preto da Universidade de São Paulo. Tópicos de interesse em pesquisa incluem: modelagem de sistemas computacionais, arquiteturas orientadas a serviços, web semântica e projeto e desenvolvimento de sistemas distribuídos. (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) |
Os objetivos desse projeto são o estudo da Técnica de Descrição Formal (TDF) "Language of Temporal Ordering Specification (LOTOS)", bem como algumas das extensões temporais propostas para essa TDF, e a investigação de sua utilização, bem como a de uma extensão temporal, no projeto de um Núcleo de Sistema Operacional (SO) voltado para Tempo Real (TR). (AU)
| 6 | Auxílios à pesquisa concluídos |
| 1 | Bolsas no país concluídas |
| 7 | Todos os Auxílios e Bolsas |
| Processos vinculados | |