research portfolio
A differentiated academic research portfolio
Each collaboration owns a distinct layer. Together, they form a rigorous foundation for trustworthy agent execution — beginning with our active partnership with Dr. Renée Miller.
research portfolio
Four active collaborations. Four layers of the same problem.
Algedonic is deliberately building its research foundation across distinct disciplines. Today, we are proud to introduce the formal-semantics work led by Dr. Renée J. Miller at the University of Waterloo.
FORMAL SEMANTICS
Dr. Renée J. Miller
University of Waterloo
Intent semantics
Provenance
Capability discovery
RESEARCH PARTNERSHIP
Forthcoming
A future research collaboration will be announced here.
RESEARCH PARTNERSHIP
Forthcoming
A future research collaboration will be announced here.
SYSTEM TRUST
Dr. Ling Liu
Georgia Institute of Technology · distributed systems · scalable policy enforcement · runtime trust
ALGEDONIC EXECUTION FABRIC
why it matters
"Real infrastructure has to be built on real science, not on a single team’s best guess. Every layer of this problem — semantics, authority, collective behavior, the runtime underneath — already has decades of rigorous academic work behind it. Partnering across Waterloo, Pitt, and Georgia Tech is how we anchor what we build to that foundation, so the technology we ship is as grounded as it is ambitious."
— Sandeep Gopisetty, Founder & CEO, Algedonic
get involved
Two ways in.
For prospective PhD students
We’re looking for students who want their thesis to matter twice — once as rigorous, publishable research, and once as infrastructure that ships. If a formal-methods, database-theory, or IR/ML-systems background sounds like a fit, we want to hear from you.
For partners, reviewers & press
This collaboration is one signal among several that UIR is being built the way infrastructure should be — reviewed, argued with, and stress-tested by people who’ve spent their careers getting this exact class of problem right.
