Osbert Bastani

Authorship follows dblp and the author's own Google Scholar profile; only AI safety papers on this site are listed.