Sérgio Vale Aguiar Campos


 Professor  Adjunto


Doutor, Carnegie Mellon University, EUA, 1996

  scampos@dcc.ufmg.br   www
 ICEx/DCC, sala 6306, +55 (31) 3409-5877
Áreas de pesquisa

Informações resumidas do Currículo Lattes


Currículo Lattes atualizado em 31/08/2017

Formação acadêmica

Doutorado em Ciência da Computação na Carnegie Mellon University em 1996
Mestrado em Ciência da Computação na Carnegie Mellon University em 1992
Mestrado em Ciências da Computação na Universidade Federal de Minas Gerais em 1990
Graduado em Ciência da Computação na Universidade Federal de Minas Gerais em 1986

Projetos de pesquisa em andamento

2013 a AtualSIGPC ? Sistema Integrado de Gerência de Dados de Pesquisa Clínica
O Hospital das Clínicas da UFMG possui um Centro de Pesquisas Clínicas, ou CPC, que centraliza pesquisas clínicas feitas no hospital, seja por iniciativa de professores da UFMG, ou por pedidos externos ao hospital. Cada pesquisa passa por diversas etapas. Em primeiro lugar há uma demanda regulatória, necessária para a implantação da pesquisa. Nesta etapa são necessárias diversas aprovações de diversos órgãos do hospital para que a pesquisa se inicie. Após esta etapa escolhem-se os pacientes que participarão da pesquisa, que devem consentir com a pesquisa. O tratamento destes pacientes é então acompanhado e registrado. Após o término da pesquisa os resultados devem ser analisados e relatados ao pesquisador responsável. Durante este processo há também uma demanda financeira, onde cada etapa deve ser informada ao setor financeiro para contabilidade de custos. O CPC executa diversas pesquisas simultaneamente, e precisa gerenciar os pacientes e os requisitos de cada pesquisa de forma independente. Contudo as características da pesquisa clínica fazem com que cada pesquisa seja diferente das outras, o que torna o gerenciamento destes dados um problema complexo. A seleção dos pacientes que participarão da pesquisa pode ser difícil por causa das características específicas de cada pesquisa. A demanda regulatória para implantação das pesquisas é uma outra característica que dificulta o trabalho do CPC uma vez que o número de documentos, aprovações, consentimentos entre outros pode ser grande e difícil de obter. Além disto, cada pesquisa potencialmente registra seus resultados de forma diferente, seja através de relatórios customizados, seja através de programas de computador especializados no registro dos dados. A consequência destes fatos é que o trabalho do CPC torna-se menos eficiente do que poderia ser, e a implantação e acompanhamento das pesquisas mais lento e propenso a erros. O uso de ferramentas computacionais para auxiliar neste gerenciamento é comum em algumas instituições. Entretanto, o CPC atualmente não possui uma ferramenta computacional completa para apoiar este trabalho utilizando diversos programas não integrados e planilhas eletrônicas neste processo. Uma ferramenta com este propósito permitirá ao CPC aumentar sua eficiência, reduzindo os tempos para implantação e acompanhamento das pesquisas. Este projeto propõe o desenvolvimento de uma ferramenta com esta finalidade, o SIGPC, usando como base de um LIMS, ou Laboratory Information Management System, para gerenciar as atividades de pesquisa do CPC. Os LIMS são sistemas de gerência de dados laboratoriais que se adaptam com facilidade às especificidades da pesquisa clínica. Em particular propõe-se o uso de um LIMS flexível voltado a workflows ou fluxos de trabalho, que possui grande flexibilidade, permitindo a implantação de novas pesquisas e protocolos de forma rápida e eficiente.
Integrantes: Sergio Vale Aguiar Campos (coordenador), Alessandra C FariaCampos, Ricardo Correa, Antônio L P Ribeiro.
2013 a AtualELISA: Um equipamento automático para diagnósticos clínicos baseados em ELISA e Bioquímica
Este projeto tem como objetivo o desenvolvimento de um equipamento totalmente automatizado, de pequeno a médio porte, a ser utilizado por laboratórios de analises clínicas para realização de testes diagnósticos, baseados em bioquímica e na metodologia ELISA. O projeto prevê também o desenvolvimento de um sistema de software de controle do equipamento e gerência dos dados que permita a operação automática e a análise dos dados gerados de forma integrada. Este sistema permitirá não somente a operação do equipamento, mas sua configuração e programação, além do gerenciamento dos dados gerados de forma ampla e integrada. Os dados gerados para análises serão processados pelo sistema, armazenados em banco de dados e disponibilizados através da web tanto para o laboratório quanto para o cliente de forma segura e simplificada. O sistema também integrará o uso de mais de um equipamento para aumentar a eficiência, diminuir o tempo de análise e erros, ou seja, o resultado buscado é a implementação, além do equipamento, de uma solução integrada em automação para laboratórios de análises clínicas de forma a simplificar a rotina laboratorial, além de um sistema de gestão laboratorial que possa ser integrado a rede do Sistema de Saúde local, seja ele privado, municipal, estadual ou federal, fazendo com que o trânsito necessário entre o pedido de exame e a entrega do resultado seja o mais rápido, seguro e transparente.
Integrantes: Sergio Vale Aguiar Campos (coordenador), Alessandra C FariaCampos, Denilson Laudares.
2012 a AtualNMO-DBr, O Banco de Dados Brasileiro de Neuromielite Óptica
Um sistema de gerência e análise de dados de pacientes de neuromielite óptica
Integrantes: Sergio Vale Aguiar Campos (coordenador), Alessandra C FariaCampos, Lana-Peixoto, Marco A..
2012 a AtualFluxPCM: Um Sistema para Gerência de Dados de Paracoccidioidomicose
O projeto propõe o desenvolvimento de um sistema para acompanhamento de pacientes de paracoccidioidomicose e para análise destes dados.
Integrantes: Sergio Vale Aguiar Campos (coordenador), Alessandra C FariaCampos, enio pietra.
2011 a AtualFluxTransgenics: Um Sistema para Gerenciamento de Produção de Plantas Transgênicas
Este projeto tem como objetivo permitir a automatização do processo experimental de produção de milho e sorgo transgênicos utilizando sistemas integrados de laboratório. Este projeto está em fase de implantação já sendo usado pelo laboratório de Biologia Celular da Embrapa Milho e Sorgo em Sete Lagoas, MG.
Integrantes: Sergio Vale Aguiar Campos (coordenador), Alessandra C FariaCampos, andrea Carneiro, Roberto Noda.
2011 a AtualFluxNGS: Um Sistema para Gestão de Dados de Sequenciamento de Próxima Geração
O FluxNGS permitirá o gerenciamento de experimentos de next generation sequencing, armazenando informações sobre amostras, montadores utilizados, e resultados. Está sendo desenvolvido em parceria com o CEBio da Fiocruz.
Integrantes: Sergio Vale Aguiar Campos (coordenador), Alessandra C FariaCampos, Guilherme Oliveira.
2008 a AtualTVPP: A Research Oriented P2P Live Streaming System
Um projeto de desenvolvimento e pesquisa na transmissão de vídeo ao vivo utilizando tecnologias P2P.
Integrantes: Sergio Vale Aguiar Campos (coordenador), Alex Borges, Marcus Vinicius Rocha, italo cunha.
1998 a AtualVerificação Automática de Sistemas de Complexidade Industrial

Integrantes: Sergio Vale Aguiar Campos (coordenador), EDMUND CLARKE, O Grumberg, Mark Alan Song, David Deharbe, Hugo Barros, Rodrigo Richard Gomes, Coelho Jr O, Gomes, Pedro.

Projetos de desenvolvimento em andamento

2013 a AtualFluxPCM: Um Sistema para Gerência de Dados de Paracoccidioidomicose
O projeto propõe o desenvolvimento de um sistema para acompanhamento de pacientes de paracoccidioidomicose e para análise destes dados.
Integrantes: Sergio Vale Aguiar Campos (coordenador), Alessandra C FariaCampos, enio pietra.
2013 a AtualSIGPC Sistema Integrado de Gerência de Dados de Pesquisa Clínica
O Hospital das Clínicas da UFMG possui um Centro de Pesquisas Clínicas, ou CPC, que centraliza pesquisas clínicas feitas no hospital, seja por iniciativa de professores da UFMG, ou por pedidos externos ao hospital. Cada pesquisa passa por diversas etapas. Em primeiro lugar há uma demanda regulatória, necessária para a implantação da pesquisa. Nesta etapa são necessárias diversas aprovações de diversos órgãos do hospital para que a pesquisa se inicie. Após esta etapa escolhem-se os pacientes que participarão da pesquisa, que devem consentir com a pesquisa. O tratamento destes pacientes é então acompanhado e registrado. Após o término da pesquisa os resultados devem ser analisados e relatados ao pesquisador responsável. Durante este processo há também uma demanda financeira, onde cada etapa deve ser informada ao setor financeiro para contabilidade de custos. O CPC executa diversas pesquisas simultaneamente, e precisa gerenciar os pacientes e os requisitos de cada pesquisa de forma independente. Contudo as características da pesquisa clínica fazem com que cada pesquisa seja diferente das outras, o que torna o gerenciamento destes dados um problema complexo. A seleção dos pacientes que participarão da pesquisa pode ser difícil por causa das características específicas de cada pesquisa. A demanda regulatória para implantação das pesquisas é uma outra característica que dificulta o trabalho do CPC uma vez que o número de documentos, aprovações, consentimentos entre outros pode ser grande e difícil de obter. Além disto, cada pesquisa potencialmente registra seus resultados de forma diferente, seja através de relatórios customizados, seja através de programas de computador especializados no registro dos dados. A consequência destes fatos é que o trabalho do CPC torna-se menos eficiente do que poderia ser, e a implantação e acompanhamento das pesquisas mais lento e propenso a erros. O uso de ferramentas computacionais para auxiliar neste gerenciamento é comum em algumas instituições. Entretanto, o CPC atualmente não possui uma ferramenta computacional completa para apoiar este trabalho utilizando diversos programas não integrados e planilhas eletrônicas neste processo. Uma ferramenta com este propósito permitirá ao CPC aumentar sua eficiência, reduzindo os tempos para implantação e acompanhamento das pesquisas. Este projeto propõe o desenvolvimento de uma ferramenta com esta finalidade, o SIGPC, usando como base de um LIMS, ou Laboratory Information Management System, para gerenciar as atividades de pesquisa do CPC. Os LIMS são sistemas de gerência de dados laboratoriais que se adaptam com facilidade às especificidades da pesquisa clínica. Em particular propõe-se o uso de um LIMS flexível voltado a workflows ou fluxos de trabalho, que possui grande flexibilidade, permitindo a implantação de novas pesquisas e protocolos de forma rápida e eficiente.
Integrantes: Sergio Vale Aguiar Campos (coordenador), Alessandra C FariaCampos, Ricardo Correa, Antônio L P Ribeiro.
2013 a AtualELISA: Um equipamento automático para diagnósticos clínicos baseados em ELISA e Bioquímica
Este projeto tem como objetivo o desenvolvimento de um equipamento totalmente automatizado, de pequeno a médio porte, a ser utilizado por laboratórios de analises clínicas para realização de testes diagnósticos, baseados em bioquímica e na metodologia ELISA. O projeto prevê também o desenvolvimento de um sistema de software de controle do equipamento e gerência dos dados que permita a operação automática e a análise dos dados gerados de forma integrada. Este sistema permitirá não somente a operação do equipamento, mas sua configuração e programação, além do gerenciamento dos dados gerados de forma ampla e integrada. Os dados gerados para análises serão processados pelo sistema, armazenados em banco de dados e disponibilizados através da web tanto para o laboratório quanto para o cliente de forma segura e simplificada. O sistema também integrará o uso de mais de um equipamento para aumentar a eficiência, diminuir o tempo de análise e erros, ou seja, o resultado buscado é a implementação, além do equipamento, de uma solução integrada em automação para laboratórios de análises clínicas de forma a simplificar a rotina laboratorial, além de um sistema de gestão laboratorial que possa ser integrado a rede do Sistema de Saúde local, seja ele privado, municipal, estadual ou federal, fazendo com que o trânsito necessário entre o pedido de exame e a entrega do resultado seja o mais rápido, seguro e transparente.
Integrantes: Sergio Vale Aguiar Campos (coordenador), Alessandra C FariaCampos, Denilson Laudares.
2012 a AtualNMO-DBr, O Banco de Dados Brasileiro de Neuromielite Óptica
Um sistema de gerência e análise de dados de pacientes de neuromielite óptica
Integrantes: Sergio Vale Aguiar Campos (coordenador), Alessandra C FariaCampos, Lana-Peixoto, Marco A..
2011 a AtualFluxNGS: Um Sistema para Gestão de Dados de Sequenciamento de Próxima Geração
O FluxNGS permitirá o gerenciamento de experimentos de next generation sequencing, armazenando informações sobre amostras, montadores utilizados, e resultados. Está sendo desenvolvido em parceria com o CEBio da Fiocruz.
Integrantes: Sergio Vale Aguiar Campos (coordenador), Alessandra C FariaCampos, Guilherme Oliveira.
2011 a AtualFluxTransgenics: Um Sistema para Gerenciamento de Produção de Plantas Transgênicas
Este projeto tem como objetivo permitir a automatização do processo experimental de produção de milho e sorgo transgênicos utilizando sistemas integrados de laboratório. Este projeto está em fase de implantação já sendo usado pelo laboratório de Biologia Celular da Embrapa Milho e Sorgo em Sete Lagoas, MG..
Integrantes: Sergio Vale Aguiar Campos (coordenador), Alessandra C FariaCampos, andrea Carneiro, Roberto Noda.
Veja todos os projetos no Currículo Lattes

Últimas publicações

Artigos em periódicos

Computer aided identification of a Hevein-like antimicrobial peptide of bell pepper leaves for biotechnological use
2016. BMC GENOMICS.
Differential abundances of four forms of BSP1 in the seminal plasma of Bos taurus indicus bulls with different patterns of semen freezability
2016. Theriogenology.
An innovative electronic health records system for rare and complex diseases
2015. BMC Bioinformatics.
FluxCTTX: A LIMS-based tool for management and analysis of cytotoxicity assays data
2015. BMC Bioinformatics.
FluxTransgenics: a flexible LIMS-based tool for management of plant transformation experimental data
2014. Plant Methods.
SimplyRep: A simple and effective reputation system to fight pollution in P2P live streaming
2013. Computer Networks (1999).
Probabilistic Model Checking Analysis of Palytoxin Effects on Cell Energy Reactions of the Na+/K+-ATPase
2013. IEEE/ACM Transactions on Computational Biology and Bioinformatics (Print).
Characterizing SopCast client behavior
2012. Computer Communications.
Symbolic Techniques For Formally Verifying Industrial Systems
1997. SCIENCE OF COMPUTER PROGRAMMING.
Temporal Verification Of Real-Time Systems
1995. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS.

Trabalhos completos em congressos

Simplified Model for Automatic QCA Circuitry Verification
2017. 30th Symposium on Integrated Circuits and System Design - SBCCI 2017.
Resource-constrained P2P Streaming Overlay Construction for Efficient Joining Under Flash Crowds
2017. The 22nd IEEE Symposium on Computers and Communications.
Join rate improvements in P2P live streaming based on topological aspects during Flash Crowds
2017. XXXV Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos.
AERO: Adaptive Emergency Request Optimization in CDN-P2P Live Streaming
2017. IEEE Globecom.
Ingressos em Redes P2P para Vídeo ao Vivo
2016. Workshop de Redes P2P, Dinâmicas, Sociais e Orientadas a Conteúdo.
A Probabilistic Model Checking Analysis of Vehicular Ad-hoc Networks
2015. 81st Vehicular Technology Conference: VTC2015.
Intelligent Service to Perform Overtaking in Vehicular Networks
2015. ISCC 2015 - The Twentieth IEEE Symposium on Computers and Communications.
Symmetry Reduction Enables Model Checking More Complex Emergent Behaviours of Swarm Navigation Algorithms
2015. 16th Towards Autonomous Robotics Systems.
Managing and sharing health data through information accountability protocols
2015. 17th International Conference on E-health Networking, Application and Services (Healthcom).
Using Binary Decision Diagrams (BDDs) for Memory Optimization in Basic Local Alignment Search Tool
2014. Brazilian Symposium on Bioinformatics.
Medical Data Mining: a case study of a Paracoccidioidomicosis Patient?s Database
2014. 16th International Conference on E-health Networking, Application & Services.
FluxMED: An Adaptable and Extensible Electronic Health Record System
2014. Brazilian Symposium on Bioinformatics.
NanoTrack - Sistema de Gerenciamento de Dados de Nanoestruturas com Plugins Inteligentes
2013. VII e-Science workshop - Congresso da Sociedade Brasileira de Computação CSBC 2013.
A Probabilistic Model Checking Analysis of the Potassium Reactions with the Palytoxin and Na+/K+-ATPase Complex
2013. Brazilian Symposium on Bioinformatics.
Can P2P Live Streaming Systems Coexist with Free Riders?
2013. IEEE International Conference on Peer-to-Peer Computing.
A Probabilistic Model Checking Approach to Investigate the Palytoxin Effects on the Na+/K+-ATPase
2012. Brazilian Symposium on Bioinformatics.
Verification of P2P Live Streaming Systems Using Symmetry-based Semiautomatic Abstractions
2012. International Conference on High Performance Computing and Simulation (HPCS/MOSPAS).
Palytoxin Inhibits the Sodium-Potassium Pump ? An Investigation of an Electrophysiological Model Using Probabilistic Model Checking
2012. Simpósio Brasileiro de Métodos Formais.
A Probabilistic Model Checking Approach to Investigate Vehicular Networks
2012. Simpósio Brasileiro de Métodos Formais.
NanoTrack Sistema Inteligente de Gerenciamento de Dados de Síntese de Nanoestruturas
2012. VI Workshop de e-Science - XXXII Congresso da Sociedade Brasileira de Computação.

Resumos expandidos em congressos

TVPP: A Research Oriented P2P Live Streaming System
2013. Simpósio Brasileiro de Redes de Computadores.
Escolha automática de clones de cdna de s. mansoni que potencialmente contêm a região codificadora completa para caracterização e expansão da base de dados cog
2002. Congresso da Sociedade Brasileira de Genética.

Resumos em congressos

Contribution of aminoacid insertions and deletions to proteobacteria-b and proteobacteria-d molecular evolution
2004. Reunião Anual da Sociedade Brasileira de Bioquímica e Biologia Molecular.
Biodados server: a new system to query secondry databases cogs, biocarta and kegg
2003. Reunião Anual da Sociedade Brasileira de Bioquímica e Biologia Molecular.
Comparison of sequence sets of s. mansoni to d. melanogaster and c. elegans and development of tools for selection of s. mansoni clones for full length sequencing
2002. Reunião Anual da Sociedade Brasileira de Bioquímica e Biologia Molecular.

Veja todas as publicações no Currículo Lattes

Orientações em andamento

Mestrado

Juliana Silva Nunes. Análise de Dados de Experimentos de Proteômica. Início: 2017. Universidade Federal de Minas Gerais (Orientador principal)
Mário Luiz Rodrigues Oliveira. Um Sistema de Tradução Simulink-SMV para Verificação de Modelos. Início: 2017. Universidade Federal de Minas Gerais (Orientador principal)
Ana Beatriz Delavia Thomasi. Um Sistema de Gestão de Dados de Qualidade do Leita. Início: 2017. Universidade Federal de Minas Gerais (Orientador principal)
Demian Bueno. BDDBlast, A Memory and Time Efficient Architecture for Pairwise Alignments. Início: 2016. Universidade Federal de Minas Gerais (Orientador principal)

Doutorado

Habib Asseis Neto. Análise de Dados de Experimentos de Proteômica. Início: 2017. Universidade Federal de Minas Gerais (Orientador principal)
Eliseu César Miguel. Resource-constrained P2P Streaming Overlay Construction for Efficient Joining Under Flash Crowds. Início: 2017. Universidade Federal de Minas Gerais (Orientador principal)
Herbert Rausch. Verificação Probabilística de Sistemas de Transporte de Íons. Início: 2017. Universidade Federal de Minas Gerais (Orientador principal)
Amir Jalilifard. Battling the Curse of Rare Diseases: Moving from Scattered Clinical Documents to Structured Datasets. Início: 2016. Universidade Federal de Minas Gerais (Orientador principal)
Gabriel Domingo Vilallonga. Probabilistic Verification of Ion Transport Systems. Início: 2015. Universidad Nacional de San Luis (Orientador principal)

Veja todas as orientações no Currículo Lattes