Hi! I am a formal methods graduate interested in:
- theorem provers,
- protocols and security,
- logic, and
- programming languages in general.
| CARVIEW |
Select Language
HTTP/2 200
date: Mon, 29 Dec 2025 07:39:46 GMT
content-type: text/html; charset=utf-8
access-control-allow-origin: *
cache-control: public, max-age=0, must-revalidate
nel: {"report_to":"cf-nel","success_fraction":0.0,"max_age":604800}
referrer-policy: same-origin
x-content-type-options: nosniff
vary: accept-encoding
report-to: {"group":"cf-nel","max_age":604800,"endpoints":[{"url":"https://a.nel.cloudflare.com/report/v4?s=TSMzpvu3%2FjP5B1knbynmZTyskoYF3mmS77aIVXp5foRiQ5k80QseSFtTFiixVEEau9DpQgtYzDg70jTMYp8QtUjDLio2IcykmDCvs4FsyQw7Wg%3D%3D"}]}
speculation-rules: "/cdn-cgi/speculation"
strict-transport-security: max-age=31536000; includeSubDomains; preload
server: cloudflare
expect-ct: max-age=86400, enforce
cf-cache-status: DYNAMIC
x-xss-protection: 1; mode=block
x-frame-options: SAMEORIGIN
content-encoding: gzip
cf-ray: 9b57a53e7f6a47bc-BOM
alt-svc: h3=":443"; ma=86400
Chandradeep Dey