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.