Login/Cadastro
Faça login ou crie uma nova conta no Escavador, é simples e rápido.
Cadastrar com e-mail
Para criar uma nova conta com e-mail, preencha os campos abaixo, ou clique em voltar para mais opções.
Login com e-mail
Entre com seu e-mail e senha para fazer login
Bacharel em Física (1974) e Mestre em Ciência da Computação (1980) pela Universidade Federal de Minas Gerais, e doutor (Doctorat d'État) pela Université Pierre et Marie Curie (Paris VI) (1985). Seus trabalhos em algoritmos distribuídos são referenciados e expostos em diversos livros didáticos, como Silberschatz, Linch, Maekawa, Raynal e outros. Foi Diretor do Centro Nacional de Processamento de Alto Desempenho de Minas Gerais de 1997 a 2006, e Diretor do Laboratório de Computação Científica da UFMG de 1998 a 2006. Atualmente é professor associado voluntário da Universidade Federal de Minas Gerais, trabalha com ensino de Programação de Computadores e coordena projetos de desenvolvimento de sistemas de informação e de mineração de dados, incluindo o Cadastro Nacional de Médicos Especialistas, InfoSAS de detecção de anomalias na produção do SUS, e ProgramaSUS de planejamento de ações e serviços de saúde do Ministério da Saúde.
Informações coletadas do Lattes em 28/06/2020
Acadêmico
Formação acadêmica
Doutorado em Doctorat d'État
1980 - 1985
Université Pierre et Marie Curie
Título: Une Contribution à la Programmation des Systèmes Distribués
Orientador: Gérard Roucairol
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Distributed Invariant; Programação Distribuída.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Programação Distribuída.
Mestrado em Ciências da Computação
1978 - 1980
Universidade Federal de Minas Gerais
Título: SOPA - Um Sistema Operacional para o PADE,Ano de Obtenção: 1980
Wilson de Pádua Paula Filho.Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Sistemas Operacionais.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Software Básico.
Pós-doutorado
1996 - 1996
Pós-Doutorado. , Institut National des Télécommunications, INT, França. , Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Idiomas
Inglês
Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.
Espanhol
Lê Razoavelmente.
Francês
Fala Bem, Lê Bem, Escreve Bem.
Áreas de atuação
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computaçã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: Programação Distribuída.
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: Sistemas de Computação/Especialidade: Software Básico.
Orientou
Um Modelo Cooperativo para Aplicações Distribuídas Baseado na Web: Aplicação à Análise e Armazenamento de Registros Eletroforéticos; 2002; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais,; Orientador: Osvaldo Sergio Farhat de Carvalho;
Reconhecimento de Registros Eletroforéticos; 1996; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Osvaldo Sergio Farhat de Carvalho;
Classificação Automática de Cromossomos; 1996; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Osvaldo Sergio Farhat de Carvalho;
Anagel: um Sistema para Análise de Registros Eletroforéticos; 1996; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais,; Orientador: Osvaldo Sergio Farhat de Carvalho;
Fênix: Um Sistema para a Construção de Aplicações Distribuídas Tolerantes a Falhas; 1994; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Osvaldo Sergio Farhat de Carvalho;
Derivação Formal de Estruturas Distribuídas; 1994; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Osvaldo Sergio Farhat de Carvalho;
Controle de Concorrência em Árvores-B; 1992; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Osvaldo Sergio Farhat de Carvalho;
Uma Experiência em Multiprocessamento com Redes Locais; 1992; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Osvaldo Sergio Farhat de Carvalho;
Projeto e Implementação de um Sistema Operacional Multitarefa Voltado para Aplicações em Tempo Real; 1991; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais,; Orientador: Osvaldo Sergio Farhat de Carvalho;
Um Algoritmo para Exclusão Mútua e sua Implementação; 1990; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Osvaldo Sergio Farhat de Carvalho;
Um Ambiente para Desenvolvimento de Sistemas Distribuídos; 1989; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais,; Orientador: Osvaldo Sergio Farhat de Carvalho;
Concepção e Desenvolvimento de um Algoritmo Distribuído e de um Ambiente de Simulação para Sistemas de Reserva de Passagens Aéreas; 1988; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais,; Orientador: Osvaldo Sergio Farhat de Carvalho;
Foi orientado por
SOPA- projeto de um sistema operacional para o PADE; 1980; 0 f; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais,; Orientador: Wilson de Padua Paula Filho;
Produções bibliográficas
CARVALHO, O. S. F. ; CAMPOS, S. . Têmis - Um Núcleo para Desenvolvimento de Programas Paralelos. Revista Brasileira de Computação, Porto Alegre, v. 6, n.1, 1990.
CARVALHO, O. S. F. ; ROUCAIROL, G. . On Mutual Exclusion In Computer Networks.. COMUNICATIONS OF THE ACM., Estados Unidos, v. 26, n.1, 1982.
Ribeiro, A.l.p. ; Plinio Vasconcelos Maia ; CARVALHO, O. S. F. . Eletrocardiography - An internt-based virtual course. In: Carlos Alberto Pastore. (Org.). Eletrocardiology 2001. 1ed.São Paulo: não informado, 2002, v. , p. 569-572.
CARVALHO, O. S. F. ; ROUCAIROL, G. . Assertion, Decomposition, and Partial Correctness of Distributed Control Algorithms. In: Paker, Y.; Verjus, J.-P.. (Org.). Distributed Computing Systems. 1ed.Londres: Academic Press, 1983, v. , p. -.
GRAAF, J. V. ; CARVALHO, O. S. F. . Reflecting on X.509 and LDAP, or How Separating Identity and Attributes Could Simplify a PKI. In: Workshop em Segurança de Sistemas Computacionais, 2004, Gramado. Anais do WSeg2004, 2004.
CALDAS, W. S. ; CARVALHO, O. S. F. ; Carvalho, Marcio ; J. van de Graaf ; Luiz Antonio Pinheiro Martins ; PEIXOTO, F. C. ; Fabiana Costa Pereira ; V. Tamietti ; Rosiane Aparecida Pacheco Maria ; Edre Quintao Moreira ; Welter Luigi Silva . A Receita do Grude. In: Workshop da RNP, 2003, Natal. WRNP2. Natal, 2003. p. 0-0.
Edre Quintao Moreira ; CARVALHO, O. S. F. . Anagel: A Distributed System for Storage and Analysis of Electrophoretical Recors. In: Workshop Brasileiro de Bioinformática, 2002, Gramado. Anais do I Workshop Brasileiro de Bioinformática, 2002. p. 40-47.
CARVALHO, O. S. F. ; LOUREIRO, A. A. . A Communication Lower Bound for Invariance Preserving on Partitioned Distributed Systems. In: International Conference on Principles of Distributed Systems, 1998, Amiens, França. Proceedings of the 2nd International Conference on Principles of Distributed Systems. Paris: Hermes, 1998. p. 25-36.
CARVALHO, O. S. F. ; LOUREIRO, A. A. . A Communication Lower Bound for Invariance Preserving on Distributed Systems. In: 2nd Workshop On Distributed Systems, 1997, Curitiba, Brasil. Proceedings of the 2nd Workshop on Distributed Systems, 1997.
Alexei Manso Correa Machado ; CARVALHO, O. S. F. ; Campos, M.f.m ; Siqueira, A.m. . An Iterative Spatial-Domain Filter Algorithm for Detecting Lanes in Gel Electrophoresis Images. In: Workshop on Intelligent Robotics, 1997, Brasília. Proceedings of the IEEE Workshop on Intelligent Robotics. Brasília, 1997. p. 233-244.
CARVALHO, O. S. F. ; LOUREIRO, A. A. ; VUONG, S. T. ; CHANSON, A. F. . Checking Unstable Properties in Distributed Testing of Communication Protocols. In: 9th International Workshop on Testing of Communicating Systems, 1996, Darmstadt, Alemanha. Proceedings of the 9th International Workshop on Testing of Communicating Systems, 1996.
CARVALHO, O. S. F. ; DI IORIO, V. . Derivação Formal de Algoritmos Distribuídos Utilizando Propriedades de Progresso. In: VI Simpósio Brasileiro de Arquitetura de Computadores e Processamento de Alto Desempenho, 1995, Canela, Brasil. Anais do VI Simpósio Brasileiro de Arquitetura de Computadores e Processamento de Alto Desempenho, 1995.
CARVALHO, O. S. F. ; MENDES, A. M. ; TEIXEIRA, G. ; COUTO, K. . Um Algoritmo Eficiente para Exclusão Mútua Distribuída. In: VI Simpósio Brasileiro de Arquitetura de Computadores e Processamento de Alto Desempenho, 1995, Canela, Brasil. Anais do VI Simpósio Brasileiro de Arquitetura de Computadores e Processamento de Alto Desempenho, 1995.
CARVALHO, O. S. F. ; DI IORIO, V. . Derivação Formal de Estruturas Distribuídas. In: V Simpósio Brasileiro de Arquitetura de Computadores e Processamento de Alto Desempenho, 1994, Caxambu, Brasil. Anais do V Simpósio Brasileiro de Arquitetura de Computadores e Processamento de Alto Desempenho, 1994.
CARVALHO, O. S. F. ; TAVARES, A. I. ; PEIXOTO, F. C. . Mapeamento de Vetores em Malhas Bi-Dimensionais. In: V Simpósio Brasileiro de Arquitetura de Computadores e Processamento de Alto Desempenho, 1994, Caxambu. Anais do V Simpósio Brasileiro de Arquitetura de Computadores e Processamento de Alto Desempenho, 1994.
CARVALHO, O. S. F. ; COUTO, K. ; MENDES, A. M. . Ambiente de Desenvolvimento e Análise de Algoritmos de Exclusão Mútua para Sistemas Distribuídos. In: V Simpósio Brasileiro de Arquitetura de Computadores e Processamento de Alto Desempenho, 1994, Caxambu. Anais do V Simpósio Brasileiro de Arquitetura de Computadores e Processamento de Alto Desempenho, 1994.
MENDES, A. M. ; COUTO, K. ; CARVALHO, O. S. F. . Uma Comparação entre dois Algoritmos Distribuídos de Exclusão Mútua. In: Simpósio Brasileiro de Arquitetura de Computadores e Processamento de Alto Desempenho, 1993, Florianópolis. Anais do V Simpósio Brasileiro de Arquitetura de Computadores e Processamento de Alto Desempenho, 1993.
ANDRADE, M. M. ; CARVALHO, O. S. F. . Arquitetura de um Núcleo para Programação de Aplicações Distribuídas Tolerantes a Falhas. In: V Simpósio Brasileiro de Arquitetura de Computadores e Processamento de Alto Desempenho, 1993, Florianópolis. Anais do Simpósio Brasileiro de Arquitetura de Computadores e Processamento de Alto Desempenho, 1993.
GUEDES NETO, D. O. ; CARVALHO, O. S. F. ; CARVALHO, A. ; LOURES, E. ; PINTO, S. . Programando em "Linda": Transformações de Espectro. In: IV Simpósio Brasileiro de Arquitetura de Computadores e Processamento de Alto Desempenho, 1992, São Paulo. Anais do IV Simpósio Brasileiro de Arquitetura de Computadores e Processamento de Alto Desempenho, 1992.
GUEDES NETO, D. O. ; CARVALHO, O. S. F. . Aspectos de Implementação e Desempenho de um Sistema Distribuído "Linda". In: IV Simpósio Brasileiro de Arquitetura de Computadores e Processamento de Alto Desempenho, 1992, São Paulo. Anais do Simpósio Brasileiro de Arquitetura de Computadores e Processamento de Alto Desempenho, 1992.
CALDAS, W. S. ; FERREIRA, R. ; CALVO, D. ; MEIRA JR., W. ; CARVALHO, O. S. F. . SPD: Um Núcleo de Programação Distribuída em Redes de Computadores. In: IV Simpósio Brasileiro de Arquitetura de Computadores e Processamento de Alto Desempenho, 1992, São Paulo. Anais do Simpósio Brasileiro de Arquitetura de Computadores e Processamento de Alto Desempenho, 1992.
SOUZA, R. M. ; CARVALHO, O. S. F. . Controle de Concorrência em Árvores-B. In: IV Simpósio Brasileiro de Arquitetura de Computadores e Processamento de Alto Desempenho, 1992, São Paulo. Anais do IV Simpósio Brasileiro de Arquitetura de Computadores e Processamento de Alto Desempenho, 1992.
CARVALHO, O. S. F. ; DI IORIO, V. ; MOTTA, E. S. ; FERREIRA, R. . Um Algoritmo de Exclusão Mútua em Redes de Computadores. In: XII Congresso da Sociedade Brasileira de Computação, 1992, Rio de Janeiro. Anais do XII Congresso da Sociedade Brasileira de Computação, 1992.
OLIVEIRA, L. M. ; ANDRADE, M. M. ; CARVALHO, O. S. F. . Sistema Multitalk. In: X Simpósio Brasileiro de Redes de Computadores, 1992, Recife, Brasil. Anais do X Simpósio Brasileiro de Redes de Computadores, 1992.
CAMPOS, S. ; CARVALHO, O. S. F. . Têmis - Um Núcleo para Desenvolvimento de Programas Paralelos. In: X Congresso da Sociedade Brasileira de Computação, 1992, Vitória, Brasil. Anais do X Congresso da Sociedade Brasileira de Computação, 1990.
GUEDES NETO, D. O. ; CARVALHO, O. S. F. . Um Núcleo Linda para Aplicações Distribuídas em uma Rede Unix. In: X Simpósio Brasileiro de Redes de Computadores, 1992, Recife. Anais do X Simpósio Brasileiro de Redes de Computadores, 1992.
CAMPOS, S. ; CARVALHO, O. S. F. . Um Algoritmo Distribuído para Exclusão Mútua com O(sqrt(n)) Mensagens. In: VI Simpósio Brasileiro de Redes de Computadores, 1988, Porto Alegre, Brasil. Anais do VI Simpósio Brasileiro de Redes de Computadores, 1988.
CARVALHO, O. S. F. . Distributed Allocation of Identical Resources. In: IV Simpósio Brasileiro de Redes de Computadores, 1986, Recife, Brasil. Anais do IV Simpósio Brasileiro de Redes de Computadores, 1986.
CARVALHO, O. S.F. ; ROUCAIROL, G. . On the distribution of an assertion. In: the first ACM SIGACTSIGOPS symposium, 1982, Ottawa. Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing - PODC '82. New York: ACM Press. p. 121.
CARVALHO, O. S. F. ; ROUCAIROL, G. . Une Amélioration de l'Algorithme d'Exclusion Mutuelle de Ricart et Agrawala. In: Journée AFCET - Parallélisme, 1980, Paris. Compte Rendu, Journée AFCET Parallélisme, 1980.
CARVALHO, O. S. F. ; PAULA FILHO, W. P. . Características de um Sistema Operacional para Suporte de Projeto Assistido por Computador num Computador Nacional de Médio Porte. In: VI Seminário Integrado de Software e Hardware, 1979, São Paulo. Anais do VI Seminário Integrado de Software e Hardware, 1979.
CARVALHO, O. S. F. ; PAULA FILHO, W. P. . Extensões de uma Linguagem Algorítmica para a Programação de Processos Concorrentes. In: V Seminário Integrado de Hardware e Software, 1978, Rio de Janeiro. Anais do V Seminário Integrado de Hardware e Software, 1978.
CARVALHO, O. S. F. ; GRAAF, J. V. ; CALDAS, W. S. ; Fabiana Costa Pereira ; PEIXOTO, F. C. ; MOREIRA, E. Q. ; MARIA, R. P. ; V. Tamietti ; MARTINS, L. A. P. . Implementing an IT infrastructure using Lotus Technologies. In: Educause, 2003, Anaheim, 2003.
CARVALHO, O. S. F. . Disciplinas de Grande Público do DCC: Análise e Propostas de Ações. Belo Horizonte: Departamento de Ciência da Computação, 2006 (Relatório Técnico).
Outras produções
CARVALHO, O. S. F. ; Arley Andrada Maria ; MOREIRA, E. Q. ; Rosa Jr. ; Mota, R. R. ; Zago, R. ; Neto, L. ; Santos, Tiago ; Correia, César ; Fernandes, F. ; Pereira, Heber ; Oliveira, Lídia ; Santos, Luana . PingIFES. 2006.
CARVALHO, O. S. F. ; Maria Luiza Pimenta ; MOREIRA, E. Q. . Anagel. 2002.
CARVALHO, O. S. F. ; CALDAS, W. S. ; GRAAF, J. V. ; Fabiana Costa Pereira ; PEIXOTO, F. C. ; Luiz Antonio Pinheiro Martins ; MOREIRA, E. Q. ; Welter Luigi Silva . Opus. 2002.
CARVALHO, O. S. F. ; CALDAS, W. S. ; GRAAF, J. V. ; Fabiana Costa Pereira ; PEIXOTO, F. C. ; Luiz Antonio Pinheiro Martins . GERUS - Gerência de Usuários. 2000.
CARVALHO, O. S. F. . SAFRA - Sistema de Alocação de Frequências. 1995.
Prêmios
2006
Prêmio TI & Governo, Plano Editorial.
Histórico profissional
Endereço profissional
Universidade Federal de Minas Gerais, Instituto de Ciências Exatas, Departamento de Ciência da Computação. , Av. Antonio Carlos 6627, Pampulha, 31270-901 - Belo Horizonte, MG - Brasil, Telefone: (31) 34995860, Fax: (31) 34995390, URL da Homepage:
Experiência profissional
1976 - Atual
Universidade Federal de Minas GeraisVínculo: Servidor público ou celetista, Enquadramento Funcional: PROFESSOR ADJUNTO, Carga horária: 40, Regime: Dedicação exclusiva.
Atividades
Ensino, Ciências da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Programação Paralela, Biologia Computacional, Bancos de Dados Distribuídos
Pesquisa e desenvolvimento , Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Linhas de pesquisa
Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Introdução aos Sistemas Lógicos, Computadores e Sociedade, Programação Científica, Algoritmos e Estruturas de Dados I, Cálculo Numérico, Introdução aos Sistemas Operacionais, Programação Paralela
Direção e administração, Reitoria, Laboratório de Computação Científica.,Cargo ou função, Diretor de Órgão Suplementar.
Você é Osvaldo Sérgio Farhat de Carvalho?
Que tal assumir essas informações?
Basta criar uma conta no Escavador e enviar uma forma de comprovante. São três passos:
Escolha uma dentre três formas de verificação: Facebook, CPF ou Documento com Foto.
O Escavador irá analisar a sua solicitação.
As informações presentes nessa página serão transferidas para a sua página do perfil.
Depois do processo concluído, quem acessar essa página será redirecionado para seu cantinho no Escavador, seunome.escavador.com. Onde você poderá fazer a sua reputação, conhecer gente antenada, se informar e até mesmo ganhar clientes. Tudo isso de graça!
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Osvaldo Sérgio Farhat de Carvalho 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?