Premiação

Amazon Research Award seleciona projeto do prof. Haniel Barbosa

Verificação e reconstrução eficientes de certificados SMT O projeto Efficient checking and reconstruction of SMT proofs busca resolver o problema de não haver um verificador de certificados para solucionadores SMT que seja independente, eficiente e fácil de ser utilizado, pois os existentes são muito específicos, tem limitações de escalabilidade, são difíceis de serem utilizados, ou uma combinação […]

Amazon Research Award seleciona projeto do prof. Haniel Barbosa Read More »

Verificação e reconstrução eficientes de certificados SMT O projeto Efficient checking and reconstruction of SMT proofs busca resolver o problema de não haver um verificador de certificados para solucionadores SMT que seja independente, eficiente e fácil de ser utilizado, pois os existentes são muito específicos, tem limitações de escalabilidade, são difíceis de serem utilizados, ou uma combinação

Aluno do DCC/UFMG tem o melhor artigo do Seminário Integrado de Software e Hardware

Principal fórum científico do Congresso da Sociedade Brasileira de Computação premia artigo de mestrando do DCC O Seminário Integrado de Hardware e Software (SEMISH), integrante do Congresso da Sociedade Brasileira de Computação, ocorrido entre os dias 18 e 21 de julho, de forma virtual, premiou o artigo “Árvore da Ciência: Uma Plataforma para Exploração da

Aluno do DCC/UFMG tem o melhor artigo do Seminário Integrado de Software e Hardware Read More »

Principal fórum científico do Congresso da Sociedade Brasileira de Computação premia artigo de mestrando do DCC O Seminário Integrado de Hardware e Software (SEMISH), integrante do Congresso da Sociedade Brasileira de Computação, ocorrido entre os dias 18 e 21 de julho, de forma virtual, premiou o artigo “Árvore da Ciência: Uma Plataforma para Exploração da

Professores e alunos do DCC/UFMG são premiados pela Sociedade Brasileira de Computação

Pesquisadores do mestrado e doutorado do DCC são premiadas no XXXIV Concurso de Teses e Dissertações Realizado desde 1980, o Congresso da Sociedade Brasileira de Computação (CSBC) ocorre anualmente e é organizado pela Sociedade Brasileira de Computação (SBC). Este ano, de forma on-line, o XLI CSBC 2021 ocorreu entre os dias 18 e 23 de

Professores e alunos do DCC/UFMG são premiados pela Sociedade Brasileira de Computação Read More »

Pesquisadores do mestrado e doutorado do DCC são premiadas no XXXIV Concurso de Teses e Dissertações Realizado desde 1980, o Congresso da Sociedade Brasileira de Computação (CSBC) ocorre anualmente e é organizado pela Sociedade Brasileira de Computação (SBC). Este ano, de forma on-line, o XLI CSBC 2021 ocorreu entre os dias 18 e 23 de

Cientista do DCC/UFMG é selecionado pelo Instituto Serrapilheira para desenvolver estudo inovador

Em meio a 505 candidatos, professor do DCC é escolhido e receberá até R$ 700 mil para investir pelos próximos três anos em projeto de pesquisa Foi anunciado pelo Instituto Serrapilheira a seleção do projeto do professor Jefersson Alex dos Santos, do Departamento de Ciência da Computação da Universidade Federal de Minas Gerais (DCC/UFMG) e

Cientista do DCC/UFMG é selecionado pelo Instituto Serrapilheira para desenvolver estudo inovador Read More »

Em meio a 505 candidatos, professor do DCC é escolhido e receberá até R$ 700 mil para investir pelos próximos três anos em projeto de pesquisa Foi anunciado pelo Instituto Serrapilheira a seleção do projeto do professor Jefersson Alex dos Santos, do Departamento de Ciência da Computação da Universidade Federal de Minas Gerais (DCC/UFMG) e

Alunos de Ciência da Computação e Matemática Computacional ganham medalha de bronze na Maratona de Programação 2020

Pela primeira vez UFMG ganha duas medalhas em competição com adversários nacionais e internacionais No dia 10 de julho, as equipes Xerebêlerebébis e GTA: Grover’s Street Algorithms, compostas por alunos da Ciências da Computação e de Matemática Computacional, após dez meses da primeira fase, que iniciou em 14 de novembro de 2020, ganharam a medalha

Alunos de Ciência da Computação e Matemática Computacional ganham medalha de bronze na Maratona de Programação 2020 Read More »

Pela primeira vez UFMG ganha duas medalhas em competição com adversários nacionais e internacionais No dia 10 de julho, as equipes Xerebêlerebébis e GTA: Grover’s Street Algorithms, compostas por alunos da Ciências da Computação e de Matemática Computacional, após dez meses da primeira fase, que iniciou em 14 de novembro de 2020, ganharam a medalha

Estudantes do DCC ganham prêmio de melhor tese e melhor dissertação no SBSI 2021

Julio Reis e Samuel Guimarães são premiados pelo Simpósio Brasileiro de Sistema de Informação Entre os dias 7 e 10 de julho, durante o Simpósio Brasileiro de Sistemas de Informação (SBSI), promovido virtualmente pela Universidade Federal de Uberlândia, os alunos do Laboratório de Computação Social, do Departamento de Ciência da Comunicação da Universidade Federal de

Estudantes do DCC ganham prêmio de melhor tese e melhor dissertação no SBSI 2021 Read More »

Julio Reis e Samuel Guimarães são premiados pelo Simpósio Brasileiro de Sistema de Informação Entre os dias 7 e 10 de julho, durante o Simpósio Brasileiro de Sistemas de Informação (SBSI), promovido virtualmente pela Universidade Federal de Uberlândia, os alunos do Laboratório de Computação Social, do Departamento de Ciência da Comunicação da Universidade Federal de

Professor do Departamento de Ciência da Computação recebe prêmio ACM Distinguished Paper

Durante uma das mais importantes conferências internacionais de engenharia de software, o professor André Hora ganhou o prêmio ACM Distinguished Paper Award com o trabalho “What Code Is Deliberately Excluded from Test Coverage and Why?”. O prêmio foi concedido pelo 18º IEEE/ACM International Conference on Mining Software Repositories (MSR 2021) realizado em Madri, na Espanha.

Professor do Departamento de Ciência da Computação recebe prêmio ACM Distinguished Paper Read More »

Durante uma das mais importantes conferências internacionais de engenharia de software, o professor André Hora ganhou o prêmio ACM Distinguished Paper Award com o trabalho “What Code Is Deliberately Excluded from Test Coverage and Why?”. O prêmio foi concedido pelo 18º IEEE/ACM International Conference on Mining Software Repositories (MSR 2021) realizado em Madri, na Espanha.

Prof. Roberto Bigonha será homenageado pela Comissão Especial de Linguagens de Programação (CELP) e pelo Congresso Brasileiro de Software (CBSoft)

A homenagem é um reconhecimento a uma carreira de relevantes contribuições à área de computação, em especial à comunidade de linguagens de programação, e a sua dedicação na formação de profissionais e pesquisadores.   O Prof. Roberto Bigonha será um dos palestrantes do SBLP 2021: http://cbsoft2021.joinville.udesc.br/palestras.php?evento=sblp A homenagem é um reconhecimento a uma carreira de

Prof. Roberto Bigonha será homenageado pela Comissão Especial de Linguagens de Programação (CELP) e pelo Congresso Brasileiro de Software (CBSoft) Read More »

A homenagem é um reconhecimento a uma carreira de relevantes contribuições à área de computação, em especial à comunidade de linguagens de programação, e a sua dedicação na formação de profissionais e pesquisadores.   O Prof. Roberto Bigonha será um dos palestrantes do SBLP 2021: http://cbsoft2021.joinville.udesc.br/palestras.php?evento=sblp A homenagem é um reconhecimento a uma carreira de

Os professores Michele Nogueira e Fabricio Murai são premiados como “Distinguished Member” pelo Comitê do Programa Técnico da INFOCOM pelo segundo ano consecutivo

IEEE INFOCOM é uma conferência internacional da área de Redes Esta distinção é concedida com base nas classificações dos membros pares do Comitê, considerando pontuações da revisão e rapidez no cumprimento de vários prazos durante o processo de revisão. Dentre as centenas de membros do Comitê, a cada ano alguns membros são escolhidos para esta

Os professores Michele Nogueira e Fabricio Murai são premiados como “Distinguished Member” pelo Comitê do Programa Técnico da INFOCOM pelo segundo ano consecutivo Read More »

IEEE INFOCOM é uma conferência internacional da área de Redes Esta distinção é concedida com base nas classificações dos membros pares do Comitê, considerando pontuações da revisão e rapidez no cumprimento de vários prazos durante o processo de revisão. Dentre as centenas de membros do Comitê, a cada ano alguns membros são escolhidos para esta

Inria and the CNIL award the 2020 Privacy Protection prize

Os professores Fabrício Benevenuto e Pedro Olmo fazem parte da equipe premiada. O CNIL (Autoridade Francesa de Proteção de Dados) e o Inria (Instituto Nacional Francês de Pesquisa em Ciência e Tecnologia Digital) concederam o prêmio de Proteção de Privacidade 2020 a equipe de pesquisa  durante a 14 th international conference Computers, Privacy and Data Protection

Inria and the CNIL award the 2020 Privacy Protection prize Read More »

Os professores Fabrício Benevenuto e Pedro Olmo fazem parte da equipe premiada. O CNIL (Autoridade Francesa de Proteção de Dados) e o Inria (Instituto Nacional Francês de Pesquisa em Ciência e Tecnologia Digital) concederam o prêmio de Proteção de Privacidade 2020 a equipe de pesquisa  durante a 14 th international conference Computers, Privacy and Data Protection

Acesso por PERFIL

Pular para o conteúdo