Graduate Student, Department of Computer Science
Columbia University, Computer Science
New York University, Computer Science
Wolfson College
|
Samson Abramsky
Bob Coecke |
About
My research interests lie at the intersection between quantum computing, category theory [AC04], programming language semantics and logic [Abr93]. A semantically driven approach, using Frobenius algebras [CPP10], allows us to finely distinguish between classical and quantum information in a way that parallels the structure of the Hilbert space formalism [CD08]. The higher-order programming languages that are derived from the categorical representation are essential for the design of useful quantum algorithms, as they allow us to represent operations on black-box functions. They also allow us to extend the measurement calculus [DKP07] and express higher-order notions for measurement-based quantum computation. I believe that further analysis of the mathematical structures involved could give us give us complexity-related results and greater insights as to the elements of quantum computation that provide it with its 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.
Contact Information
| Homepage: |
