doctoral_advisor image_size name field work_institutions known_for doctoral_students article_title birth_name alma_mater
stephen kleene 150px joan r. moschovakis mathematics ucla intuitionistic mathematics , intuitionistic logic garyfallia vafeiadou joan moschovakis
 joan rand university of wisconsin -- madison
joan moschovakis

joan rand moschovakis is a logician and mathematician focusing on intuitionistic logic and mathematics .
she is professor emerita at occidental college and a guest at ucla .
moschovakis earned her ph.d. from the university of wisconsin -- madison in 1965 under the direction of stephen kleene , with a dissertation entitled `` disjunction , existence and * - eliminability in formalized intuitionistic analysis '' .
moschovakis is married to yiannis moschovakis , with whom she gave the 2014 lindström lectures at the university of gothenburg .
