About

I’m a second-year computer science Ph.D. student working under the advisory of Dr. Taylor T. Johnson in the VeriVITAL lab. I am primarily focused on developing new techniques in computer-aided verification for machine learning-based system, particularly those systems which analyze images, videos, or other high-dimensional data. I also have a growing interest in working with numerical methods and scientific software.

Contact: samuel.sasaki@vanderbilt.edu

Publications

1. [FormaliSE’25] Samuel Sasaki, Preston K. Robinette, Diego Manzanas Lopez, Taylor T. Johnson. Robustness Verification of Video Verification Neural Networks. 2025 IEEE/ACM 13th International Conference on Formal Methods in Software Engineering (Formalise’25), April 27-28, 2025, Ottawa, Canada. 31% Acceptance Rate (15/38).

Service

Teaching

Teaching assistant for the Introduction to Engineering - Computer Science course at Vanderbilt University in Fall 2023. Responsibilities included holding office hours, grading assignments, and assisting in-class activities.

Teaching assistant for the Embedded Systems course at Vanderbilt University in Spring 2024. Responsibilities included leading weekly lab sections in which students would work through assignments, managing distribution of equipment, and grading assignments.