About MeI am a PhD student at the Department of Computer Science under the supervision of Prof. Stephen Cook. My current research focuses on Bounded Reverse Mathematics. I am also interested in Concurrency Theory and other theoretical aspects of computer science. 
|
