Áreas de Pesquisa

Lista as áreas de pesquisa

Amazon Research Award seleciona projeto do prof. Haniel Barbosa

Automatização de Raciocínio, Métodos Formais, Premiação, Projeto /

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

Ex-aluno do mestrado e doutorado do DCC ganha espaço em grande empresa internacional

Engenharia de Software, Ex-aluno, Mineração de Dados /

Alta qualidade no ensino do Departamento de Ciência da Computação forma mão de obra qualificada para o mercado de trabalho internacional Aproveitar as oportunidades enquanto estuda e empenhar-se pode abrir portas para alunos e ex-alunos do Departamento de Ciência da Computação da Universidade Federal de Minas Gerais (DCC/UFMG). Esse foi o caso do ex-estudante do

Ex-aluno do mestrado e doutorado do DCC ganha espaço em grande empresa internacional Read More »

Alta qualidade no ensino do Departamento de Ciência da Computação forma mão de obra qualificada para o mercado de trabalho internacional Aproveitar as oportunidades enquanto estuda e empenhar-se pode abrir portas para alunos e ex-alunos do Departamento de Ciência da Computação da Universidade Federal de Minas Gerais (DCC/UFMG). Esse foi o caso do ex-estudante do

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

Aprendizado de Máquina, Inovação, PATREO, Premiação, Projeto /

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

Ex-alunos do DCC/UFMG atraem empresas internacionais para Minas

Compiladores /

Busca por mão de obra qualificada atrai cada vez mais empresas estrangeiras para Minas Gerais A qualidade técnica dos alunos formados no Departamento de Ciência da Computação da Universidade Federal de Minas Gerais (DCC/UFMG), seja em programas de graduação, seja em programas de mestrado e doutorado, tem contribuído para o surgimento de um ambiente dinâmico

Ex-alunos do DCC/UFMG atraem empresas internacionais para Minas Read More »

Busca por mão de obra qualificada atrai cada vez mais empresas estrangeiras para Minas Gerais A qualidade técnica dos alunos formados no Departamento de Ciência da Computação da Universidade Federal de Minas Gerais (DCC/UFMG), seja em programas de graduação, seja em programas de mestrado e doutorado, tem contribuído para o surgimento de um ambiente dinâmico

Laboratório de Compiladores do DCC promove palestra aberta pela internet

Compiladores, Palestra /

Engenharia de compiladores na indústria é tema de Seminário Na próxima sexta-feira, 23 de Julho, às 14 horas, acontecerá a palestra “Engenharia de compiladores na indústria”. A exposição será proferida pelo mestre em Ciência da Computação Victor Campos, formado no DCC/UFMG, e, hoje, engenheiro na ARM (Cambridge-UK). A apresentação, em inglês, acontece remotamente, no link

Laboratório de Compiladores do DCC promove palestra aberta pela internet Read More »

Engenharia de compiladores na indústria é tema de Seminário Na próxima sexta-feira, 23 de Julho, às 14 horas, acontecerá a palestra “Engenharia de compiladores na indústria”. A exposição será proferida pelo mestre em Ciência da Computação Victor Campos, formado no DCC/UFMG, e, hoje, engenheiro na ARM (Cambridge-UK). A apresentação, em inglês, acontece remotamente, no link

Pesquisadores do DCC/UFMG criam programa de computador que pode ajudar a revolucionar a medicina nos próximos anos

Bioinformática, Nanocomputação /

Software DNAr-Logic pode ajudar no desenvolvimento de diagnósticos, cura e prevenção de doenças e, assim, melhorar a qualidade de vida da população Com a população mundial tendo a expectativa de vida cada vez maior, cientistas se debruçam diuturnamente em soluções e inovações que proporcionem melhor qualidade de vida para a população e, também, traga a

Pesquisadores do DCC/UFMG criam programa de computador que pode ajudar a revolucionar a medicina nos próximos anos Read More »

Software DNAr-Logic pode ajudar no desenvolvimento de diagnósticos, cura e prevenção de doenças e, assim, melhorar a qualidade de vida da população Com a população mundial tendo a expectativa de vida cada vez maior, cientistas se debruçam diuturnamente em soluções e inovações que proporcionem melhor qualidade de vida para a população e, também, traga a

Professor do DCC participa de Seminário promovido pelo Núcleo de Apoio à Pós-graduação

Visão Computacional /

Evento on-line discute o “Treinamento cognitivo-motor na realidade virtual imersiva para idosos: relações entre parâmetros eletrofisiológicos e neuropsicológicos” No dia 29 de julho, quinta-feira, às 17 horas, será transmitido pelo canal do Youtube do NAPG do ICB/UFMG, o Seminário “Treinamento cognitivo-motor na realidade virtual imersiva para idosos: relações entre parâmetros eletrofisiológicos e neuropsicológicos”. O evento

Professor do DCC participa de Seminário promovido pelo Núcleo de Apoio à Pós-graduação Read More »

Evento on-line discute o “Treinamento cognitivo-motor na realidade virtual imersiva para idosos: relações entre parâmetros eletrofisiológicos e neuropsicológicos” No dia 29 de julho, quinta-feira, às 17 horas, será transmitido pelo canal do Youtube do NAPG do ICB/UFMG, o Seminário “Treinamento cognitivo-motor na realidade virtual imersiva para idosos: relações entre parâmetros eletrofisiológicos e neuropsicológicos”. O evento

Ferramenta criada no DCC/UFMG auxilia no mapeamento e monitoramento de barragens em todo território brasileiro

Aprendizado de Máquina, Inteligência Artificial /

Software combina imagens de satélites e Inteligência Artificial para identificar e indicar regiões de atividade de mineração não registradas ou monitoradas por agências federais e estaduais A equipe de pesquisadores do Laboratório PATREO do Departamento de Ciência da Computação da Universidade Federal de Minas Gerais (DCC/UFMG), coordenada pelo professor Jefersson Alex dos Santos e financiada

Ferramenta criada no DCC/UFMG auxilia no mapeamento e monitoramento de barragens em todo território brasileiro Read More »

Software combina imagens de satélites e Inteligência Artificial para identificar e indicar regiões de atividade de mineração não registradas ou monitoradas por agências federais e estaduais A equipe de pesquisadores do Laboratório PATREO do Departamento de Ciência da Computação da Universidade Federal de Minas Gerais (DCC/UFMG), coordenada pelo professor Jefersson Alex dos Santos e financiada

Pesquisadores do DCC/UFMG criam sistema que visa aumentar a segurança cibernética no parque tecnológico das empresas

Redes de Computadores, Segurança Digital /

Sistema de segurança fundamentado em pesquisa identifica redes de dispositivos infectados e detecta vulnerabilidade de segurança no parque tecnológico das instituições O aumento do uso da Internet traz diversos ganhos para as empresas e para a sociedade, mas, em contrapartida, ataques virtuais podem comprometer setores estratégicos para o país. Pensando no papel dos pesquisadores para

Pesquisadores do DCC/UFMG criam sistema que visa aumentar a segurança cibernética no parque tecnológico das empresas Read More »

Sistema de segurança fundamentado em pesquisa identifica redes de dispositivos infectados e detecta vulnerabilidade de segurança no parque tecnológico das instituições O aumento do uso da Internet traz diversos ganhos para as empresas e para a sociedade, mas, em contrapartida, ataques virtuais podem comprometer setores estratégicos para o país. Pensando no papel dos pesquisadores para

Laboratório Synergia da UFMG desenvolve ferramenta inovadora para o Sebrae Minas

Inteligência Artificial /

Totalmente digital e interativa, o PNBOX oferece diversas funcionalidades para os empreendedores que desejam construir seu Plano de Negócios O PNBOX é uma plataforma com o objetivo de auxiliar empreendedores a se planejarem na criação de um negócio, ou, para aqueles que já possuem um negócio, a se organizarem. Desenvolvido pelo Laboratório Synergia do Departamento

Laboratório Synergia da UFMG desenvolve ferramenta inovadora para o Sebrae Minas Read More »

Totalmente digital e interativa, o PNBOX oferece diversas funcionalidades para os empreendedores que desejam construir seu Plano de Negócios O PNBOX é uma plataforma com o objetivo de auxiliar empreendedores a se planejarem na criação de um negócio, ou, para aqueles que já possuem um negócio, a se organizarem. Desenvolvido pelo Laboratório Synergia do Departamento

Acesso por PERFIL

Aluno de graduação
Aluno de pós-graduação
Empresa
Ex-aluno
Funcionário
Futuro aluno
Pós-doutor
Professor
Atendimento a Jornalista e Imprensa

VAGAS

x
Pular para o conteúdo