About Uğur Y. Yavuz

PhD student @ BU POPV. TLA⁺/TLAPS enthusiast. Enjoyer of declarative/hierarchical proofs, NYT word games, and serial commas.

The "ğ" is pronounced like the "n" in damn.

Lists

Timeline

uyavuz has no activity yet