דוקטור למדעי המחשב מהאוניברסיטה העברית. מתעניין במחשוב קוונטי. במהלך התואר השני שלו, עסק שי בחקר לוגיקה מתמטית, בפרט, תורת המודלים.