Cyrus Omar

Assistant Professor of Computer Science

Jane Street

1 standalone talk · 1 total lecture · 1h recorded

Computer Systems & Software

Standalone talks by Cyrus Omar

Self-contained public lectures, keynote addresses, and research seminars.

Trustworthy Human-AI Collaboration in a Live Type-Theoretic Computational Commons

14 ch1:05:45

Systems & CS·Standalone Lecture

Trustworthy Human-AI Collaboration in a Live Type-Theoretic Computational Commons

Cyrus Omar·Jane Street

This talk presents a vision for a live type-theoretic computational commons, detailing foundational work on incremental type checking, evaluation with typed holes, and an object-capability architecture for bounding AI agent behavior based on the principle of least authority.