James T. Sasaki
- Senior Lecturer of Computer Science
- Director of the Graduate Professional Program
Education
B.S., CS, IIT
M.S., Ph.D., CS, Cornell University
Research Interests
Programming Languages, Programming Logics, Operational Semantics, and Evidence-Based Semantics.