Osvaldo Sergio Farhat de Carvalho

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. Coordenou projetos de desenvolvimento de sistemas de informação e de mineração de dados, incluindo o o sistema InfoSAS de detecção de anomalias na produção do SUS. .Atualmente é professor associado voluntário da Universidade Federal de Minas Gerais e trabalha com ensino de Programação de Computadores.

Informações coletadas do Lattes em 10/09/2022

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.

Graduação em Bacharelado em Física

1971 - 1974

Universidade Federal de Minas Gerais

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

Edré Quintão Moreira

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;

Laszló Ernesto de Miranda Pinto

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;

Maria Luiza Assunção Pimenta

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;

Fabiano Cruz Peixoto

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;

Marcelo Migueletto de Andrade

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;

Vladimir Oliveira Di Iorio

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;

Roberto Márcio de Souza

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;

Dorgival Olavo Guedes Neto

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;

Abilio Pereira de Faria Neto

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;

Sergio Vale Aguiar Campos

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;

Faiçal 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;

Marcus Vinicius de Melo Rocha

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;

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

Vínculo: Servidor público ou celetista, Enquadramento Funcional: PROFESSOR ADJUNTO, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

08/1988
Ensino, Ciências da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Programação Paralela, Biologia Computacional, Bancos de Dados Distribuídos
09/1976
Pesquisa e desenvolvimento, Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Linhas de pesquisa
03/1976
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
04/1998 - 03/2006
Direção e administração, Reitoria, Laboratório de Computação Científica.,Cargo ou função, Diretor de Órgão Suplementar.