Jad Ghalayini

tekne.dev [email protected]

University of Cambridge Cambridge, United Kingdom CS PhD student supervised by Neel Krishnaswami, working on refinement types and intermediate representations