Gireeja Ranade
ranade@eecs.berkeley.edu
Gateway 4443, Berkeley CA 94720
Google Scholar
Bio
Gireeja Ranade is an Associate Teaching Professor in the Electrical Engineering and Computer Science Department at UC Berkeley. Her research interests span theoretical projects in machine learning and control, AI for Math, societal impacts of AI, and education. She teaches upper-division and graduate level courses such as deep learning and optimization, as well as introductory undergraduate courses. Before joining the faculty at UC Berkeley, Prof. Ranade was a Researcher at Microsoft Research AI in the Adaptive Systems and Interaction Group and the Theory Group. She is a recipient of the 2023 NSF CAREER award. She also designed and taught the first offering for the new course sequence EECS16A and EECS16B in the EECS department at UC Berkeley and received the 2017 UC Berkeley Electrical Engineering Award for Outstanding Teaching. She was also awarded the 2020 UC Berkeley award for Extraordinary Teaching in Extraordinary Times. Prof. Ranade received her PhD in Electrical Engineering and Computer Science from the University of California, Berkeley, and her undergraduate degree from MIT in Cambridge, MA.
Updates
- Oct 2026Check out LeanTutor.org!
- Oct 2026Benign misfitting video is live!
- Oct 2026New preprint: LeanSide: A Formally Verified Co-Reasoning System for Natural-language Proofs.
- Oct 2026Gireeja spoke at the UC Berkeley Emeriti Association.
- Oct 2026Two papers at EMNLP 2026 in Budapest: ParaStudent: Closing the Sim2Real Gap in User Simulators for AI Tutor Evaluation and Formally Verified AI Co-Reasoning: An Education Case Study.
- Sep 2026Gireeja joined the panel for the 1st Relatorium Dialogue on Mathematics and AI, alongside Rem Faraone, Nestor Guillen, Max Lieblich and David Spivak.
- Sep 2026LeanTutor was presented at the Renaissance Philanthropy AI for Math Fund Workshop 2026.
- Aug 2026New preprint with Anant Sahai: The Fourth Quadrant: A Stylized View of Benign Misfitting.