James T. Sasaki, Ph.D.
Senior Lecturer of Computer Science and Director of the Graduate Professional Program
Office: Stuart Building 110
Office Hours:
Phone: 312.567.5176
Fax: 312.567.5067
Email:
sasaki@iit.edu
Web:
http://www.cs.iit.edu/~sasaki
Expertise
Education
Curriculum Vitae
Research & Major Accomplishments
Programming Languages, Programming Logics, Operational Semantics, and Evidence-Based Semantics.