Bard Bloom Ashvin Dsouza Javier Esparza Dexter Kozen Mogens Nielsen Jens Palsberg