HomeΒΆ


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.