People Ryan Sasaki MA alum Research interests: Proof formalization. Adviser: Kjos-Hanssen. Joined us in 2019. Courses rtsasaki Spam Prevention @hawaii.edu
Ryan Sasaki MA alum Research interests: Proof formalization. Adviser: Kjos-Hanssen. Joined us in 2019. Courses rtsasaki Spam Prevention @hawaii.edu