Ga naar hoofdinhoud

Jingyi Mei

Promovendus

Naam: J. Mei MSc
Telefoon: +31 71 527 2727
E-mail: j.mei@liacs.leidenuniv.nl
ORCID iD: null

Promovendus

Wiskunde en Natuurwetenschappen
Leiden Inst of Advanced Computer Science

Werkadres

Gorlaeus Gebouw
Einsteinweg 55
2333 CC Leiden

Contact

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. 'Refereed' congrespublicatie

Geen relevante nevenwerkzaamheden

Deze website maakt gebruik van cookies. Meer informatie.