My current work is on categorical semantics for quantum computation with classical control. I am investigating all three aspects of the Curry-Howard-Lambek isomorphism; that is the logic, lambda calculus and categorical formulation associated with quantum computation and classical structures. To that end, I am using concepts such as polynomial categories and Kleisli categories, adapted of course to our tensor framework. Another thing that I would find interesting, is to use these tensor categories to draw some conclusions about complexity and about what it is in quantumness that enables its computational speedup.
I have a Master of Science degree in Computer Science from Columbia University. Before that, I did my Bachelor's degree at NYU, where I majored in Mathematics and Computer Science, with an emphasis in pure mathematics and theoretical computer science. Before coming here, I also spent some time as an officer in the Greek army; an unusual experience, which did however provide me with a heightened sense of discipline in my life.
