Nadish de Silva

Update: I have moved to the Centre for Quantum Information and Foundations in the Department of Applied Mathematics and Theoretical Physics (a part of the Centre for Mathematical Sciences) at the University of Cambridge, to join the group of Richard Jozsa FRS. I am a member of King's College.

I am a mathematical physicist working in the Department of Computer Science, UCL where I am the Researcher Co-Investigator of the EPSRC-funded project Contextuality as a resource in quantum computation: a collaboration between UCL and the University of Oxford headed by Simone Severini and Samson Abramsky FRS.

Broadly, my research interests include quantum information & computation; nonlocality & contextuality; and operator algebras & noncommutative geometry. I am keenly interested in helping to elucidate the structural origins of computational and communicational advantages in both concrete quantum models and abstract postclassical models. These questions sit at the foundations of logic, computer science, and physics, and involve disparate areas of maths: e.g. algorithms & complexity theory, number theory, and category theory.

Le Blanc Seing (1965) par René MagritteI recently spent a semester as a Visiting Scientist at the Simons Institute for the Theory of Computing at the University of California, Berkeley. Previously, I completed my DPhil in Computer Science in the Quantum Group (Logic, Foundations, and Structures), supervised by Samson Abramsky FRS and Bob Coecke, as a Clarendon Scholar at Merton College, University of Oxford. I completed my MSc in Mathematics and my BSc in Mathematics and Physics at the University of Toronto where my supervisor was George Elliott FRSC. In Toronto, I was a Visiting Member of the Fields Institute for Research in Mathematical Sciences, supported by NSERC Undergraduate Student Research Awards.

Le Blanc Seing (1965) par René Magritte

Publications

Logical paradoxes in quantum computation.
Nadish de Silva.
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS '18).
Presented at the 17th Asian Quantum Information Science Conference (AQIS '17).

Contextuality and noncommutative geometry in quantum mechanics.
Nadish de Silva and Rui S. Barbosa.
Communications in Mathematical Physics.

The quantum monad on relational structures.
Samson Abramsky‚ Rui S. Barbosa‚ Nadish de Silva, and Octavio Zapata.
Proceedings of the 42nd International Symposium on the Mathematical Foundations of Computer Science (MFCS '17).
Presented at the 15th International Conference on Quantum Physics and Logic (QPL '18).

Minimum quantum resources for strong non−locality.
Samson Abramsky‚ Rui S. Barbosa‚ Giovanni Carù‚ Nadish de Silva‚ Kohei Kishida, and Shane Mansfield.
Proceedings of the 12th Conference on the Theory of Quantum Computation‚ Communication and Cryptography (TQC '17).
Presented at the 14th International Conference on Quantum Physics and Logic (QPL '17).

Graph−theoretic strengths of contextuality.
Nadish de Silva.
Physical Review A.

A concise‚ elementary proof of Arzelà's bounded convergence theorem.
Nadish de Silva.
The American Mathematical Monthly.