Mathematician Β· Researcher Β· Builder
M.S. Mathematics, NYU Courant Β· Faculty, IE University New York
Sealed execution environments for trustworthy AI agents. Cryptographically-verified workflows that enterprises can trust to run autonomously.
Distributed, encrypted storage cloud for streaming. Privacy-preserving data coordination across untrusted nodes.
Sealed computation with warrant-governed execution. Hardware attestation for trustworthy code execution. For IEEE S&P 2027.
Minimal, Python-ergonomic language with modifier-based type system and compile-safe SQL/HTML injection prevention. For POPL 2027.
Cross-chain, cross-domain claims protocol using RFC 8785 canonicalization and EIP-712 encoding. Full reference implementations in JS, PHP, Solidity.
Eventual consistency for decentralized economies via chilling-effect consensus. For DISC 2026.
Multi-chain payment protocol deployed across 8+ EVM mainnets. Economic coordination for distributed networks.
Open-source social OS reaching 7M+ downloads across 100+ countries. Powers Groups, Calendars, and community apps.
Event and community platforms for content creators and thought leaders.
Makes any website social without your address book leaving the device. Featured in BBC and Ars Technica. Zero marketing spend.
Claims, evidence, and structured debate with per-claim discussion threads and argument trees.
Attribution tracking for viral growth β who invited whom, conversion funnels, and reward distribution.
Growing up, played concerts at Carnegie Hall and on TV
β Recordings & performances
Teaching artificial intelligence β LLMs, neural network history, practical applications, and the theory underneath.
Built on Qbix5M+ downloads across 100+ countries, zero marketing spend. Powers the Groups and Calendars apps, the latter featured in BBC and ArsTechnica. Data via AppFigures.
Decentralization Before It Was CoolPhilosophy shaped by conversations on surveillance and privacy, web3 and decentralization, and pioneers like Tim Berners-Lee. Encrypted, distributed systems are not idealisticβthey are necessary.
| ID | Category | Title | Links |
|---|---|---|---|
| 2606.09870 | βοΈ Distributed Systems | Safecloud: A Distributed, Encrypted Storage Cloud for Streaming | arXiv Code |
| 2606.00050 | π§ Knowledge Graphs | Grokers: Bottom-Up Inductive Comprehension and Write-Time Intelligence over Typed Knowledge Graphs | arXiv |
| 2605.23928 | π€ AI Agents | Context: Proactive Goal-Directed Intelligence via Composable Sandboxed Programs | arXiv |
| 2605.22830 | π Consensus | Intercloud: Eventual Consistency for Decentralised Economies | arXiv Code |
| 2605.04069 | β‘ Neural Networks | LAWS: Learning from Actual Workloads Symbolically | arXiv |
| 2604.15356 | π¦ Compression | Sequential KV Cache Compression via Probabilistic Language Tries | arXiv |
| 2604.06228 | π§ Execution | Probabilistic Language Tries: A Unified Framework | arXiv |
| for IEEE S&P 2027 | π Sealed Computation | Safebox: Sealed Computation with Warrant-Governed Execution | |
| β | π Age Verification | Privacy-Preserving Attribute Verification | PDF Overview |
| β | π Reporting | Reporting How Groups Voted Without Exposing How Anyone Did | PDF Overview |
| β | π³οΈ Elections | Trustworthy Remote Elections | PDF Overview |