research
I work in areas that are in the overlap of formal methods and AI. My works can be classified into three sub-categories.
| CARVIEW |
Select Language
HTTP/2 301
server: GitHub.com
content-type: text/html
location: https://kmallik.github.io/projects/
access-control-allow-origin: *
strict-transport-security: max-age=31556952
expires: Fri, 16 Jan 2026 09:50:51 GMT
cache-control: max-age=600
x-proxy-cache: MISS
x-github-request-id: FBF0:62ABC:6821:753E:696A07A3
accept-ranges: bytes
age: 0
date: Fri, 16 Jan 2026 09:40:51 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210026-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1768556451.194171,VS0,VE226
vary: Accept-Encoding
x-fastly-request-id: 927b8bb3a156b5ea5f250c51c8a70e8e01441578
content-length: 162
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
x-origin-cache: HIT
last-modified: Thu, 15 Jan 2026 21:30:17 GMT
access-control-allow-origin: *
strict-transport-security: max-age=31556952
etag: W/"69695c69-359d"
expires: Fri, 16 Jan 2026 08:22:20 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: A6B3:78BD5:5A212:6C20F:6969F2E3
accept-ranges: bytes
age: 0
date: Fri, 16 Jan 2026 09:40:51 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210026-BOM
x-cache: HIT
x-cache-hits: 0
x-timer: S1768556451.434152,VS0,VE247
vary: Accept-Encoding
x-fastly-request-id: 16ca67eec0db989dc838305b54edc87ee7943d30
content-length: 4182
research | Kaushik Mallik
