User:Rayq2013

I am a graduate student in mathematics at Nagoya University, in Nagoya, Japan. I hold a M.S. in computer science and a B.S. in computer science and international relations, both from Tufts University.

Areas I have expertise in

 * Category theory
 * Programming language theory
 * Mathematical logic
 * Japanese popular music
 * History of Japan