People

Ryan Sasaki

Picture of Ryan Sasaki MA alum

Research interests: Proof formalization. Adviser: Kjos-Hanssen.
Joined us in 2019.
Courses

rtsasaki Spam Prevention @hawaii.edu

vCard

University of Hawaiʻi at Mānoa