Akash Deshpande holds a Ph.D. from the University of California, Berkeley and currently works on internet infrastructure at Google. He first met Joseph Sifakis 30 years ago and the two have kept in touch sporadically ever since.