HTTP/2 200 server: GitHub.com content-type: text/html; charset=utf-8 last-modified: Thu, 18 Dec 2025 22:54:26 GMT access-control-allow-origin: * strict-transport-security: max-age=31556952 etag: W/"69448622-1a83" expires: Mon, 29 Dec 2025 08:17:25 GMT cache-control: max-age=600 content-encoding: gzip x-proxy-cache: MISS x-github-request-id: A307:123DE:87C3B7:988F2F:695236BD accept-ranges: bytes age: 0 date: Mon, 29 Dec 2025 08:07:25 GMT via: 1.1 varnish x-served-by: cache-bom-vanm7210042-BOM x-cache: MISS x-cache-hits: 0 x-timer: S1766995646.643234,VS0,VE213 vary: Accept-Encoding x-fastly-request-id: 0dfd9ef02b1922bc7f5b45494c7562b85e122802 content-length: 1816

• We lead the way in developing techniques and tools to build safe complex software systems.
• We target challenging domains that include learned components and interactions with the physical world.
• We mentor the next generation of world-class researchers.