Daedalus Research Foundation
Advancing computer science research in Brazil.
An institution in the making, disciplined curiosity in service of clarity, published in the open.
Why the Foundation exists
Brazil produces world-class engineers; it deserves world-class computer science research to match. The Foundation hosts, funds, and publishes work that turns rigor into practice, open source first, papers when the evidence earns them.
Open artifact
Research Charter
Questions first. Rigor with intuition. Outputs that move builders forward. The Charter governs how every investigation at Daedalus is run.
Read the CharterWhere we investigate
Computational research
Formal methods, optimization, and verification, the guarantees we can offer by construction.
Systems & tooling
Distributed systems, reliability, and performance tuned for real workloads.
Builder experience
Interfaces and workflows that keep builders in flow and surface system truth clearly.
Open source
The first tools are being forged
High-impact open source is the Foundation's first output. Repositories will appear here as they reach release quality.
Get early wordCollaborate with the Foundation
Researchers, universities, and builders: if the Charter resonates, we want to hear from you.
Get in touch