Fundación de Investigación Daedalus
Impulsando la investigación en ciencias de la computación en Brasil.
Una institución en construcción, curiosidad disciplinada al servicio de la claridad, publicada en abierto.
Por qué existe la Fundación
Brasil produce ingenieros de clase mundial; merece una investigación en ciencias de la computación a la altura. La Fundación aloja, financia y publica trabajos que convierten el rigor en práctica, open source primero, artículos cuando la evidencia los merece.
Artefacto abierto
Carta de Investigación
Preguntas primero. Rigor con intuición. Resultados que hacen avanzar a los builders. La Carta gobierna cómo se conduce toda investigación en Daedalus.
Leer la CartaDónde investigamos
Investigación computacional
Métodos formales, optimización y verificación, las garantías que podemos ofrecer por construcción.
Sistemas y herramientas
Sistemas distribuidos, fiabilidad y rendimiento ajustados a cargas de trabajo reales.
Experiencia del builder
Interfaces y flujos de trabajo que mantienen a los builders en flow y muestran la verdad del sistema con claridad.
Open source
Las primeras herramientas se están forjando
El open source de alto impacto es el primer resultado de la Fundación. Los repositorios aparecerán aquí a medida que alcancen calidad de lanzamiento.
Recibir noticias primeroColabora con la Fundación
Investigadores, universidades y builders: si la Carta resuena contigo, queremos saber de ti.
Ponte en contacto