Jay officially defended his thesis yesterday and after an hour of public presentation with questions, 40 minutes of grueling interrogation by Brown's computer science department, and then 20 agonizing minutes of waiting to for them to come to a decision, they decided to let him pass :)
Brown's CS department has a funny tradition of chucking a rubber chicken at the new PhD grad and so we thought we should take a pic with him. (He's poking up behind us) He's been appropriately name Coq, after the COQ theorem prover that Jay used pretty extensively for his work.
Congrats Jay!! I'm so proud of you!