Broadly, my research interests include quantum information & computation; nonlocality & contextuality; and algorithms & complexity theory. 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, physics, and maths. The tools I develop support the quantum software stack, enabling progress in error correction and fault tolerance, circuit compilation and optimisation, quantum programming languages, and the design of quantum algorithms. I also build practical classical algorithms and software packages for fast simulation, analysis, and simulation-based verification of quantum circuits and devices.
I previously worked in the at the , in the group of . I was a member of
Prior to this, I worked in the where I was the Researcher Co-Investigator of the -funded project Contextuality as a resource in quantum computation: a collaboration between and the headed by and . I spent a semester as a Visiting Scientist at the .
Previously, I completed my DPhil in Computer Science in the , supervised by and , as a at , . I completed my MSc in Mathematics and my BSc in at the where my supervisor was .
Nadish de Silva, Santanil Jana, and Ming Yin.
Proceedings of the 22nd International Conference on Quantum Physics and Logic (QPL '25).
Nadish de Silva and Oscar Lautsch.
Proceedings of the Royal Society A.
Presented at the 20th Conference on the Theory of Quantum Computation‚ Communication and Cryptography (TQC '25).
Presented at the 4th International Conference on Quantum Computing Theory in Practice (QCTIP '25).
Presented at the 22nd International Conference on Quantum Physics and Logic (QPL '25).
Presented at the 25th Asian Quantum Information Science Conference (AQIS '25).
Imin Chen and Nadish de Silva.
Communications in Mathematical Physics.
Presented at the 21st International Conference on Quantum Physics and Logic (QPL '24).
Nadish de Silva, Wilfred Salmon, and Ming Yin.
Quantum.
Presented at the 21st International Conference on Quantum Physics and Logic (QPL '24).
Angelos Bampounis, Rui S. Barbosa, Nadish de Silva.
Presented at the 22nd International Conference on Quantum Physics and Logic (QPL '25).
Nadish de Silva, Ming Yin, and Sergii Strelchuk.
Quantum Science and Technology.
Nadish de Silva.
Proceedings of the Royal Society A.
Presented at the 21st Asian Quantum Information Science Conference (AQIS '21).
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).
Nadish de Silva and Rui S. Barbosa.
Communications in Mathematical Physics.
Presented at the 10th and 11th International Conference on Quantum Physics and Logic (QPL '13 and QPL '14).
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).
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).
Nadish de Silva.
Physical Review A.
Nadish de Silva.
The American Mathematical Monthly.
|