Making sure that the code AI pushes to the internet is safe and bug-free

Building LemmaScript, a verification toolchain for TypeScript

Alignment Target Analysis

AFFINE Event-Prep

Runway for the core staff to design the program, find mentors and get funding

Depolarization in democratic mechanisms

A study to empirically study the depolarization effect of our values elicitation method

Research paper on AI Governance Fairness Metrics

A Pilot for AI-Ready & Biosurveillance-Ready Health Data Infrastructure

Investigating how populations become excluded from AI-relevant health datasets