Nathalie Rajão – Página: 2

INCT TILDIAR, sediado no DCC, amplia articulação internacional na Itália

Banco de Dados, Destaque, Inteligência Artificial, Parceria, TILD-IAR / Nathalie Rajão

O Instituto Nacional de Ciência e Tecnologia em Inteligência Artificial Responsável (INCT TILDIAR), com sede no Departamento de Ciência da Computação (DCC) da UFMG e coordenado pelo professor do departamento, Marcos André Gonçalves, concluiu, nesta sexta-feira, 6, uma agenda de divulgação e articulação institucional na Itália.

INCT TILDIAR, sediado no DCC, amplia articulação internacional na Itália Read More »

Computação contra doenças: professora do DCC integra pesquisa que gera ferramenta patenteada para novos medicamentos

Destaque / Nathalie Rajão

A tecnologia sempre foi uma aliada nos tratamentos de saúde, com presença cada vez mais constante nas pesquisas e estudos do campo das ciências biológicas. Com o objetivo de simular a ligação de moléculas com potencial farmacológico, um grupo de pesquisadores da UFMG desenvolveu o POTTER (peptide optmization tool for enhanced receptor-binding).

Computação contra doenças: professora do DCC integra pesquisa que gera ferramenta patenteada para novos medicamentos Read More »

Mestrando do PPGCC/UFMG apresenta pesquisa em conferência internacional sobre verificação formal

Evento, Verificação Formal / Nathalie Rajão

O aluno de mestrado do Programa de Pós-graduação em Ciência da Computação (PPGCC) da UFMG, Bruno Anderotti, apresentou um trabalho científico na conferência internacional Verification, Model Checking, and Abstract Interpretation (VMCAI 2026), realizada nos dias 12 e 13 de janeiro/26, em Rennes, na França.

Mestrando do PPGCC/UFMG apresenta pesquisa em conferência internacional sobre verificação formal Read More »

Tutorial: “Modeling and Verifying Algorithms in TLA+”

Palestra, Participe / Nathalie Rajão

Na próxima terça-feira, 10, na sala 2077 do Instituto de Ciências Exatas (ICEx), de 9h30 às 12h, o pesquisador no Centro de Pesquisa Inria Nancy, uma unidade do Inria, o Instituto Nacional Francês de Pesquisa em Ciência da Computação, e membro do LORIA, o Laboratório de Ciência da Computação e suas aplicações em Nancy, Stephan Merz, irá proferir a palestra “Modeling and Verifying Algorithms in TLA+”.

Tutorial: “Modeling and Verifying Algorithms in TLA+” Read More »

Palestra: “From Sets to Types: using the B Method with modern proof tools”

Evento, Palestra, Participe / Nathalie Rajão

Na próxima quinta-feira, 05, de 15h às 16h, na sala 2015 do Instituto de Ciências Exatas (ICEx), haverá a palestra “From Sets to Types: using the B Method with modern proof tools”, com o doutorando no Inria, LORIA, Nancy, França, Vincent Trélat.

Palestra: “From Sets to Types: using the B Method with modern proof tools” Read More »

Iluminação especial do prédio do DCC marca campanha Fevereiro Roxo e Laranja

Campanha, Notícia / Nathalie Rajão

Fevereiro é marcado pelas campanhas Roxo e Laranja, que promovem a conscientização sobre doenças crônicas como Alzheimer, lúpus, fibromialgia e leucemia. Em apoio à iniciativa, o DCC ilumina sua fachada nas cores roxa e laranja, chamando a atenção da comunidade acadêmica e da sociedade para o tema.

Iluminação especial do prédio do DCC marca campanha Fevereiro Roxo e Laranja Read More »

UFMG abre concurso para professores no Departamento de Ciência da Computação

Concurso público, Emprego, Inscrições abertas, Notícia, Professor, Vaga / Nathalie Rajão

Foi publicado hoje, 7/01, pela Universidade Federal de Minas Gerais (UFMG), o Edital nº 5/2026 com a abertura do concurso público de provas e títulos para provimento de cargos efetivos na carreira de magistério superior. O objetivo é contratar docentes para o Departamento de Ciência da Computação (DCC).

UFMG abre concurso para professores no Departamento de Ciência da Computação Read More »

Prédio do DCC recebe iluminação em apoio à campanha do Janeiro Branco

Notícia, Participe / Nathalie Rajão

A iluminação do prédio do Departamento de Ciência da Computação (DCC), no Instituto de Ciências Exatas (ICEx) da UFMG, durante o mês de janeiro, marca a participação do DCC nas ações do Janeiro Branco, campanha nacional dedicada à conscientização sobre a importância do cuidado com a saúde mental.

Prédio do DCC recebe iluminação em apoio à campanha do Janeiro Branco Read More »

Prédio do DCC será iluminado com cores de campanhas de conscientização ao longo de 2026

Campanha, Notícia / Nathalie Rajão

A partir de 2026, o Departamento de Ciência da Computação (DCC) da Universidade Federal de Minas Gerais (UFMG) passará a integrar de forma ativa o calendário anual de campanhas de conscientização em saúde e cidadania, utilizando a iluminação de seu prédio como instrumento simbólico de engajamento social.

Prédio do DCC será iluminado com cores de campanhas de conscientização ao longo de 2026 Read More »

Encerramento de projeto DCC/Petrobras destaca uso de IA na cicloestratigrafia do petróleo

Aprendizado de Máquina, Evento, Inteligência Artificial, Projeto / Nathalie Rajão

O Departamento de Ciência da Computação (DCC) da UFMG participou, em dezembro, do seminário de entrega final do projeto desenvolvido em parceria com a Petrobras entre 2021 e 2025, voltado à aplicação de técnicas de Inteligência Artificial à cicloestratigrafia do petróleo.

Encerramento de projeto DCC/Petrobras destaca uso de IA na cicloestratigrafia do petróleo Read More »

Author name: Nathalie Rajão