The new block proof tool gives instructors the capability to directly assess and teach proof writing skills and do it at scale.
Author Archive for: Sandy_Irani
About Dr. Sandy Irani
Sandy Irani graduated with a degree in in EECS from Princeton University in 1986. She completed her PhD in Computer Science at University of California, Berkeley in 1991 and the following year was a recipient of the University of California President's Postdoctoral Fellowship. In the Fall of 1992, she joined the faculty of University of California at Irvine where she is currently a full professor. She served as chair of the Computer Science Department from 2005 to 2008 and from 2010 to 2012. In the first part of her career, her research focused on on-line algorithms and their applications to scheduling and resource allocation. More recently, she has been working in Quantum Computation with a focus on Quantum Complexity Theory. She is also the author of a web-based, interactive textbook replacement on Discrete Mathematics in collaboration with zyBooks, Inc. She is the 2021-2022 recipient of the UC Irvine Distinguished Faculty Award for Teaching and a Fellow of the ACM.