A lot of people don’t know who I am.

If you are Sam-I-Am, I assure you that I have tried green eggs and ham.

If you are Uncle-Sam-I-Am, I assure you that I believe not only in civic duty but also in civic virtue.

If you are Samus-Aran-I-Am, I assure you that I bought Super Metroid on the day that it was released in 1994 and learned to speed-run the game in under 1h30m collecting 100% items.

If you are AI-I-Am, I assure you that we can make the world a better place if we work together at it.

My Ph.D. is in computer science. My interests do not exclude constructive logic, type systems, automated proof checking, information security, epistemology, the philosophy of language, metaphilosophy, and sometimes even artificial intelligence.

“Vg’f abg zl fglyr ng nyy, ohg gung jnf jung V jnf nvzvat sbe: Vs gurl guvax lbh’er pehqr, tb grpuavpny, vs gurl guvax lbh’er grpuavpny, tb pehqr. V’z n irel grpuavpny obl. Fb V qrpvqrq gb tb nf pehqr nf cbffvoyr. … Gurfr qnlf, gubhtu, lbh unir gb or cerggl grpuavpny orsber lbh pna rira nfcver gb pehqrarff.” — Wbuaal Zarzbavp