| CARVIEW |
Select Language
HTTP/2 301
server: GitHub.com
content-type: text/html
location: https://santoslab.org/
x-github-request-id: 31CC:257CC5:1D2BBF:227B01:696CBF0A
accept-ranges: bytes
age: 0
date: Sun, 18 Jan 2026 11:08:08 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210046-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1768734489.674356,VS0,VE210
vary: Accept-Encoding
x-fastly-request-id: 7dadb1701a7cea37d45e7e8f00aeec419f268840
content-length: 162
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: Sun, 18 Jan 2026 11:18:09 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: 700F:8C868:1D7F5F:22D055:696CBF18
accept-ranges: bytes
age: 0
date: Sun, 18 Jan 2026 11:08:09 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210046-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1768734489.182211,VS0,VE225
vary: Accept-Encoding
x-fastly-request-id: 533a12963eb72142be05ead0ba38353fe5cd3b4e
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