Joan Rand Moschovakis is a logician and mathematician focusing on intuitionistic logic and mathematics. She is professor emerita at Occidental College^[1] and a guest at UCLA.^[2]

Moschovakis earned her Ph.D. from the University of Wisconsin–Madison in 1965 under the direction of Stephen Kleene, with a dissertation titled 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.^[3]

Selected publications

• Moschovakis, Joan (2015). "Intuitionistic logic". In Zalta, Edward N. (ed.). Stanford Encyclopedia of Philosophy.
• Moschovakis, Joan Rand (2009). "The logic of Brouwer and Heyting". In Gabbay, Dov M.; Woods, John (eds.). Handbook of the History of Logic. Vol. 5. Logic from Russell to Church. Handbook of the History of Logic. Vol. 5. Amsterdam: Elsevier/North-Holland. pp. 77–125. CiteSeerX 10.1.1.117.9445. doi:10.1016/S1874-5857(09)70007-X. ISBN 9780444516206. MR 2668177.
• Moschovakis, Joan Rand (1987). "Relative lawlessness in intuitionistic analysis". Journal of Symbolic Logic. 52 (1): 68–88. doi:10.2307/2273863. JSTOR 2273863. MR 0877856.
• Moschovakis, Joan Rand (1971). "Can there be no nonrecursive functions?". Journal of Symbolic Logic. 36 (2): 309–315. doi:10.2307/2270266. JSTOR 2270266. MR 0294087.