guyam2.github.io

guyam2.github.io is a live English-language website hosted on Fastly, Inc. (AS54113) in the United States, served by Github.com. cl0q first saw it on 2026-05-15 and last crawled it on 2026-07-03. It resolves to 185.199.108.153.

How the site describes itself:

Guy Amir

I am a postdoctoral researcher in the Department of Computer Science at Cornell University. My research focuses on the intersection of Formal Verification, Programming Languages, and Networking Systems. Previously, I completed my Ph.D. (2021–2024) at the Hebrew University of Jerusalem under the supervision of Professor Guy Katz, where I worked...