| CARVIEW |
Select Language
HTTP/2 301
server: GitHub.com
content-type: text/html
location: https://www.oflatt.com/
x-github-request-id: A13A:328FD3:8C5BA0:9D8667:69526980
accept-ranges: bytes
age: 0
date: Mon, 29 Dec 2025 11:44:00 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210022-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1767008640.082249,VS0,VE200
vary: Accept-Encoding
x-fastly-request-id: ae92a3941af36c4d2db137cbbb495bbf86582b79
content-length: 162
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Wed, 19 Nov 2025 02:09:57 GMT
access-control-allow-origin: *
etag: W/"691d26f5-11b4"
expires: Mon, 29 Dec 2025 09:58:50 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: DC9A:15317B:8A076C:9B0096:69524E82
accept-ranges: bytes
age: 0
date: Mon, 29 Dec 2025 11:44:00 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210058-BOM
x-cache: HIT
x-cache-hits: 0
x-timer: S1767008640.454745,VS0,VE230
vary: Accept-Encoding
x-fastly-request-id: d014283f61d7e7ea39f320b177ad37bc88fe01ec
content-length: 1682
Oliver Flatt 
Oliver Flatt
resume | oflatt@cs.washington.edu | youtube
I'm interested in programming languages, especially verification and formal methods. Currently, I'm a graduate student at the University of Washington. I work on egglog, a language for performing e-graph based optimizations, and eggcc, an optimizer using egglog. Are you recruiting for research internships? Check out my resume. Are you a collaborator? Check out my research guidelines document, which I use as a starting point for discussing the small details of how to have an effective research collaboration.