Arend-Jan Quist
PhD candidate
- Name
- A. Quist MSc
- Telephone
- 071 5272727
- a.quist@liacs.leidenuniv.nl
- ORCID iD
- 0000-0002-6501-2112
Arend-Jan is a PhD student at LIACS. His research interests include simulation of quantum computing, quantum algorithms and quantum compilation.
PhD candidate
- Faculty of Science
- LIACS
- Theory
- Brand S.O., Quist A., Dijk M.K. van & Laarman A.W. (2025), Numerical errors in quantitative system analysis with decision diagrams. Prabhakar P. & Vandin A. (Eds.), Quantitative evaluation of systems and formal modeling and analysis of timed systems: second international joint conference, QEST+FORMATS 2025, Aarhus, Denmark, August 26–28, 2025, proceedings. Second International Joint Conference, QEST+FORMATS 2025 25 August 2025 - 30 August 2025. Lecture Notes in Computer Science no. 16143. Cham: Springer. 371-388.
- Quist A., Mei J., Coopmans T.J. & Laarman A.W. (2025), Advancing Quantum Computing with Formal Methods. Platzer A., Rozier K.Y., Pradella M. & Rossi M. (Eds.), Formal Methods: 26th International Symposium, FM 2024. 26th International Symposium, FM 2024 9 September 2024 - 13 September 2024. Lecture Notes in Computer Science no. 14934. Cham: Springer. 420-446.
- Quist A. & Laarman A.W. (2025), Trade-offs between classical and quantum space using spooky pebbling, Logical Methods in Computer Science 21(4): 17091.
- Quist A. & Laarman A.W. (2023), Optimizing quantum space using spooky pebble games. Kutrib M. & Meyer U. (Eds.), Reversible Computation RC 2023. Interrnational Conference on Reversible Computation RC 2023: Reversible Computation 18 July 2023 - 19 July 2023. Lecture Notes in Engineering and Computer Science no. 13960. Cham: Springer. 134-149.