Dimitrios Thanos

Promovendus

Naam: D. Thanos
Telefoon: +31 71 527 4799
E-mail: d.thanos@liacs.leidenuniv.nl
ORCID iD: null

Promovendus

Wiskunde en Natuurwetenschappen
Leiden Inst of Advanced Computer Science

Werkadres

Gorlaeus Gebouw
Einsteinweg 55
2333 CC Leiden
Kamernummer BM2.23

Contact

Thanos D., Coopmans T.J. & Laarman A.W. (2023), Fast equivalence checking of quantum circuits of Clifford gates. André E. & Sun J. (red.), Automated Technology for Verification and Analysis. 21st International Symposium, ATVA 2023 24 oktober 2023 - 27 oktober 2023. Lecture Notes in Computer Science nr. 14216. Cham: Springer. 199-216. 'Refereed' congrespublicatie

Geen relevante nevenwerkzaamheden

Deze website maakt gebruik van cookies. Meer informatie.