Jingyi Mei
Promovendus
- Naam
- J. Mei MSc
- Telefoon
- 071 5272727
- j.mei@liacs.leidenuniv.nl
- ORCID iD
- null
Promovendus
- Faculteit der Wiskunde en Natuurwetenschappen
- LIACS
- LIACS Research
- 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. (red.), Formal Methods: 26th International Symposium, FM 2024. 26th International Symposium, FM 2024 9 september 2024 - 13 september 2024. Lecture Notes in Computer Science nr. 14934. Cham: Springer. 420-446.
- Dimitrios Thanoas D.T., Volloria Gonzalez A.D., Brand S.O., Quist A., Mei J., Coopmans T.J. & Laarman A.W. (2024), Automated reasoning in quantum circuit compilation. Neele T. & Wijs A. (red.), Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings. 30th International Symposium, SPIN 2024 8 april 2024 - 9 april 2024. Lecture Notes in Computer Science nr. 14624. Cham: Springer. 106-134.