My work is on categorical semantics for quantum computation with classical control. I am currently 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 as these were defined in [CPP08] and [CD08]. I am also interested in applying the results of my investigations to measurement based quantum computation and the measurement calculus [DKP07]. Finally, I would like to use the insight gained from the aforementioned representations in order to draw some complexity-theoretic results. The ultimate goal of this entire research is to gain a better understanding of the element of quantum computation which provides it with its additional computational power.
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.
