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