About Me

I recently defended my PhD thesis successfully. I was very fortunate to have Stephen Cook as my PhD advisor.

I'm currently a senior design engineer at Altera Corp., working on CAD algorithms for FPGAs.

I was a member of the wonderful theory group at the Department of Computer Science. My research focused on Bounded Reverse Mathematics with emphasis on probabilistic and linear-algebraic proof techniques.

Two possible ways to contact me: counter thesis image