| CARVIEW |
Select Language
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Tue, 17 Nov 2020 14:24:15 GMT
access-control-allow-origin: *
etag: W/"5fb3dd0f-d88"
expires: Mon, 19 Jan 2026 03:26:58 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: 58B9:10F25B:25E07C:2CE9B0:696DA229
accept-ranges: bytes
age: 0
date: Mon, 19 Jan 2026 03:16:59 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210022-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1768792619.856265,VS0,VE221
vary: Accept-Encoding
x-fastly-request-id: e1450940ae9e6dd47d44c8fa20b6a17d6ca1681f
content-length: 1029
SAnToS Lab
SAnToS Laboratory
Specification, Analysis, and Transformation of Software
About
SAnToS Lab 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 Computer Science Department, Carl R. Ice College of Engineering at Kansas State University.
People
- John Hatcliff, University Distinguished Professor
- Robby, Professor
- Jason Belt, Research Associate
- Hariharan Thiagarajan, Research Assistant
- Matthew Weis, Research Assistant