SAnToS Lab at Kansas State University
SAnToS Lab at Kansas State University
SAnToS Lab at Kansas State University

About

The Laboratory for Specification, Analysis, and Transformation of Software (SAnToS) conducts both theoretical and applied research on a range of topics in programming language semantics, analysis, and software engineering. The laboratory is an outgrowth of the programming languages group in the CIS Department at Kansas State University.

Contact

SAnToS Laboratory
Computing and Information Sciences Department
Kansas State University
234 Nichols Hall
Manhattan, KS, 66506
Phone: (785) 532-6350
Fax: (785) 532-7353
Email: contact@santoslab.org