| CARVIEW |
Select Language
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Mon, 19 Jan 2026 05:40:52 GMT
access-control-allow-origin: *
etag: W/"696dc3e4-fec"
expires: Mon, 19 Jan 2026 17:59:55 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: 725D:11A387:33635F:3BF4AF:696E6EC1
accept-ranges: bytes
age: 0
date: Mon, 19 Jan 2026 17:49:55 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210061-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1768844995.324817,VS0,VE227
vary: Accept-Encoding
x-fastly-request-id: b3040e4c73bd301a138e238489a44aed426f9391
content-length: 1782
About - SAL@KU 
Software Analysis Lab @ Korea University

We are always looking for motivated graduate/undergraduate students and postdocs. See our research.
Research Areas
- Programming languages and compilers
- Software engineering
- Software security
Contact
- Prof. Hakjoo Oh: (email) hakjoo_oh@korea.ac.kr
Software Analysis Lab. @ Korea University