Laboratório

Coordenador do Laboratório de Compiladores do DCC/UFMG apresenta microcontrolador u32BR durante RISC-V Brasil

Compiladores, Compiladores, Destaque, Laboratório, Palestra / Nathalie Rajão

O professor do Departamento de Ciência da Computação (DCC) da UFMG e coordenador coordenador do Laboratório de Compiladores, Fernando Pereira, na última sexta-feira, 14, apresentou, durante o RISC-V Brasil, o microcontrolador u32BR, um projeto de iniciativa nacional para o desenvolvimento de um microcontrolador com tecnologia 100% brasileira. O evento aconteceu no Instituto Eldorado de Pesquisas, em […]

Coordenador do Laboratório de Compiladores do DCC/UFMG apresenta microcontrolador u32BR durante RISC-V Brasil Read More »

Professores do Laboratório UAI, do DCC, promovem série de seminários

Inteligência Artificial, Palestra, UAI / Nathalie Rajão

Iniciou nesta sexta-feira, 7, de 10h às 11h, na sala 2016 do Instituto de Ciências Exatas (ICEx) da UFMG, uma série de seminários semanais, que ocorrerão todas as sextas-feiras, promovidos pelos professores do Departamento de Ciência da Computação (DCC) e que fazem parte do Laboratório Uncertainty in Artificial Intelligence (UAI) – https://uai.science/. A primeira apresentação

Professores do Laboratório UAI, do DCC, promovem série de seminários Read More »

Pesquisa realizada por cientistas do DCC, da University of Sheffield e da Unicamp tem repercussão na mídia nacional

Destaque, Inteligência Artificial, Na mídia, Notícia, PATREO / Nathalie Rajão

Foi publicada nesta segunda-feira, 27, no jornal O Estado de São Paulo, uma matéria produzida pela jornalista Aline Reskalla, repercutindo uma ferramenta criada pelos pesquisadores do Departamento de Ciência da Computação (DCC) da UFMG, João Macêdo (doutorando e perito da Polícia Federal), Camila Laranjeira (doutoranda), Fabrício Benevenuto (professor/pesquisador) e Jefersson Alex dos Santos (professor/pesquisador –

Pesquisa realizada por cientistas do DCC, da University of Sheffield e da Unicamp tem repercussão na mídia nacional Read More »

Biblioteca SEPE para geração de funções hash especializadas é disponibilizada para o público

Compiladores, Compiladores, Laboratório / Nathalie Rajão

Os pesquisadores do Laboratório de Compiladores, do Departamento de Ciência da Computação da UFMG, tornaram pública a biblioteca SEPE, uma ferramenta para geração de funções hash. SEPE é um projeto financiado pela empresa Google Inc. e pela Fundação de Amparo à Pesquisa do Estado de Minas Gerais (FAPEMIG), que tem por objetivo gerar funções hash

Biblioteca SEPE para geração de funções hash especializadas é disponibilizada para o público Read More »

Artigo do aluno Léon Frenot, orientado pelo professor Fernando Quintão, é premiado em Conferência Internacional

Compiladores, Compiladores, Laboratório, Premiação / Nathalie Rajão

O estudante da École Normale Supérieure de Lyon, na França, Léon Frenot, sob orientação do professor do Departamento de Ciência da Computação (DCC) da UFMG, Fernando Quintão, ganhou o prêmio de melhor artigo na Conferência Internacional de Compiladores (CC 2024), com o trabalho “Reducing the Overhead of Exact Profiling by Reusing Affine Variables”, feito por

Artigo do aluno Léon Frenot, orientado pelo professor Fernando Quintão, é premiado em Conferência Internacional Read More »

Equipe do GoDeep visita CENPES e Petrobras

Aprendizado Profundo, UAI / Luciana

Os professores Flavio, Renato e Pedro (DCC), Alexei (PUC-MG) e a gerente de projetos Patrícia foram visitar o CENPES (Centro de Pesquisas, Desenvolvimento e Inovação Leopoldo Américo Miguez de Mello).Na sede da Petrobras, durante três dias, os professores e os alunos participaram, remoto e presencialmente, de reuniões para discutir questões técnicas e gerenciais no escopo

Equipe do GoDeep visita CENPES e Petrobras Read More »

Google financiará pesquisa no Laboratório de Compiladores do DCC/UFMG

Compiladores, Compiladores, Laboratório, Projeto / Nathalie Rajão

O Departamento de Ciência da Computação (DCC) da UFMG recebeu, neste mês, uma doação da empresa Google, que financiará pesquisas no Laboratório de Compiladores do departamento. O objetivo do projeto é sintetizar programas para testar sistemas operacionais, compiladores e arquiteturas de computação. Os alunos envolvidos irão conceituar, implementar e aplicar técnicas capazes de gerar programas

Google financiará pesquisa no Laboratório de Compiladores do DCC/UFMG Read More »

Alunos e professor do DCC vencem challenge promovido durante o ICIP 2023

Aprendizado de Máquina, PATREO, Premiação, Visão Computacional / Nathalie Rajão

Os alunos do Departamento de Ciência da Computação da UFMG, Camila Laranjeira e Daniel Andrade, doutorado e graduação em Ciência da Computação, respectivamente, além do professor Jefersson A. dos Santos, ficaram em primeiro lugar no Grande Desafio ICIP 2023 – Detecção Automática de Criadouros de Mosquitos, ocorrido durante o IEEE International Conference on Image Processing

Alunos e professor do DCC vencem challenge promovido durante o ICIP 2023 Read More »

Alunos e professores do DCC são premiados no Simpósio Brasileiro de Linguagens de Programação

Compiladores, Laboratório, Linguagens de Programação / Nathalie Rajão

Durante a 27ª edição do Simpósio Brasileiro de Linguagens de Programação (SBLP), ocorrido junto com o Congresso Brasileiro de Software: Teoria e Prática (CBSoft), entre 25 e 29 de setembro, em Campo Grande, Mato Grosso do Sul, os professores do Departamento de Ciência da Computação (DCC) da UFMG, Fernando Magno Quintão Pereira e Frederico Ferreira

Alunos e professores do DCC são premiados no Simpósio Brasileiro de Linguagens de Programação Read More »

Constrained Horn Clauses for Program Verification

Heurística, Palestra, Teoria dos Grafos, TREX, Verificação Formal / Luciana

05 de setembro às 16h na sala 6321 (DCC)

Constrained Horn Clauses for Program Verification Read More »

05 de setembro às 16h na sala 6321 (DCC)

Acesso por PERFIL