Nadish de Silva

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. This question sits at the foundations of logic, computer science, and physics, has both theoretical and practical implications, and involves many disparate and interesting areas of maths including algorithms & complexity theory, combinatorics, number theory, category theory, and the theory of programming.

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.