Eli Barzilay has finished a B.Sc. and M.Sc. in Computer Science at  Ben Gurion university, continued with a Ph.D. in applied logic at  Cornell, and finally found his place in Matthias Felleisen's PLT  group at Northeastern university where he works on the Racket  language and teaches Programming Languages.