Fundação de Pesquisa Daedalus
Avançando a pesquisa em ciência da computação no Brasil.
Uma instituição em construção, curiosidade disciplinada a serviço da clareza, publicada abertamente.
Por que a Fundação existe
O Brasil produz engenheiros de classe mundial; merece uma pesquisa em ciência da computação à altura. A Fundação hospeda, financia e publica trabalhos que transformam rigor em prática, open source primeiro, artigos quando as evidências os merecem.
Artefato aberto
Carta de Pesquisa
Perguntas primeiro. Rigor com intuição. Resultados que fazem builders avançarem. A Carta governa como toda investigação na Daedalus é conduzida.
Ler a CartaOnde investigamos
Pesquisa computacional
Métodos formais, otimização e verificação, as garantias que podemos oferecer por construção.
Sistemas e ferramentas
Sistemas distribuídos, confiabilidade e performance ajustados para cargas de trabalho reais.
Experiência do builder
Interfaces e fluxos de trabalho que mantêm builders em flow e mostram a verdade do sistema com clareza.
Open source
As primeiras ferramentas estão sendo forjadas
Open source de alto impacto é o primeiro resultado da Fundação. Repositórios aparecerão aqui à medida que atingirem qualidade de lançamento.
Receber novidades primeiroColabore com a Fundação
Pesquisadores, universidades e builders: se a Carta ressoa com você, queremos conversar.
Entrar em contato