People Affiliated Faculty and Academic StaffAdministrationPostdoctoral ScholarsGraduate StudentsAdvising FellowsAward Recipients Toggle Award Recipients Stanford Honors Thesis Prizes - Symbolic Systems RecipientsGlushko Prize for Excellence in Undergraduate Research in Symbolic SystemsBarwise Award for Distinguished Contributions to Symbolic SystemsSymbolic Systems Distinguished Teaching Award Main content start Bonnie Krejci Symbolic Systems Teaching Coordinator Contact Email bkrejci [at] stanford.edu