Osvaldo Sergio Farhat de Carvalho

  • Endereço para acessar este CV: http://lattes.cnpq.br/6651256887055545
  • Última atualização do currículo em 03/10/2016


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. (Texto informado pelo autor)


Identificação


Nome
Osvaldo Sergio Farhat de Carvalho
Nome em citações bibliográficas
CARVALHO, O. S. F.;CARVALHO, O. S.F.

Endereço


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: www.dcc.ufmg.br


Formação acadêmica/titulação


1980 - 1985
Doutorado em Doctorat d'État.
Université Pierre et Marie Curie, LISE / CNRS, França.
Título: Une Contribution à la Programmation des Systèmes Distribués, Ano de obtenção: 1985.
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 Terra
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.
1978 - 1980
Mestrado em Ciências da Computação.
Universidade Federal de Minas Gerais, UFMG, Brasil.
Título: SOPA - Um Sistema Operacional para o PADE,Ano de Obtenção: 1980.
Orientador: 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 Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Software Básico.
1971 - 1974
Graduação em Bacharelado em Física.
Universidade Federal de Minas Gerais, UFMG, Brasil.


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.


Atuação Profissional



Universidade Federal de Minas Gerais, UFMG, Brasil.
Vínculo institucional

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

Atividades

8/1988 - Atual
Ensino, Ciências da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Programação Paralela
Biologia Computacional
Bancos de Dados Distribuídos
9/1976 - Atual
Pesquisa e desenvolvimento , Instituto de Ciências Exatas, Departamento de Ciência da Computação.

Linhas de pesquisa
Programação Distribuída
03/1976 - Atual
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.


Linhas de pesquisa


1.
Programação Distribuída


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação.
2.
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.
3.
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.
4.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Software Básico.


Idiomas


Inglês
Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.
Espanhol
Lê Razoavelmente.
Francês
Fala Bem, Lê Bem, Escreve Bem.


Prêmios e títulos


2006
Prêmio TI & Governo, Plano Editorial.


Produções



Produção bibliográfica
Citações

Web of Science
Total de trabalhos:1
Total de citações:38
Fator H:1
Carvalho, Osvaldo S. F.  Data: 03/10/2013

Artigos completos publicados em periódicos

1.
CARVALHO, O. S. F.;CARVALHO, O. S.F.1990CARVALHO, 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.

2.
CARVALHO, O. S. F.;CARVALHO, O. S.F.1982 CARVALHO, O. S. F.; ROUCAIROL, G. . On Mutual Exclusion In Computer Networks.. COMUNICATIONS OF THE ACM., Estados Unidos, v. 26, n.1, 1982.

Capítulos de livros publicados
1.
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.

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

Trabalhos completos publicados em anais de congressos
1.
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.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Resumos publicados em anais de congressos
1.
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.

Outras produções bibliográficas
1.
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).


Produção técnica
Programas de computador sem registro
1.
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.

2.
CARVALHO, O. S. F.; Maria Luiza Pimenta ; MOREIRA, E. Q. . Anagel. 2002.

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

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

5.
CARVALHO, O. S. F.. SAFRA - Sistema de Alocação de Frequências. 1995.



Orientações



Orientações e supervisões concluídas
Dissertação de mestrado
1.
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.

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

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

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

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

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

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

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

9.
Abílio 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.

10.
Sérgio 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.

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

12.
Marcus Vinícius 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.




Página gerada pelo Sistema Currículo Lattes em 20/01/2019 às 22:29:10