Győző Egri: Intorduction to Zero Knowledge Proofs
Logic and Philosophy of Science Seminar, ELTE
2025.11.14.
Balázs Kőműves: Intorduction to Zero Knowledge Proofs [slides]
CryptoMondays Budapest Meetup
2025.09.30.
to the physics laboratories of the Budapest University of Technology and Economics (BME). They will develop ODMR experimental setups with NV-centers under the supervision of Prof. Ferenc Simon. The experiments will be included in the experimental education of both universities, BME and Eötvös University (ELTE)
Boross Péter and Fehér György, Simphony: an open source Python package to simulate point defect dynamics
QTech Conference (Atoms&Defects)
22-25 September, 2025
Győző Egri: Time Evolution of Subsystems
Quantum Computing Group Meeting, BME TTK
2025.09.15.
In the cooperative doctoral programme, a PhD student and his/her supervisor collaborate with our company and extend the research scope of the student in a way that is valuable for our company. Our third PhD student, Robin Kucsera, researches solid-state quantum technologies through combined experimental and theoretical approaches, focusing on the spectroscopic study of nitrogen-vacancy centers in diamond. He is a PhD student at the Budapest University of Technology and Economics (BME), supervised by Prof. Ferenc Simon (BME).
Quantum World 3 Seminar [link]
Svastits Domonkos, Töltésqubitek és spinqubitek kiolvasásának dinamikai modellje
Magyar Fizikus Vándorgyűlés 2025
August 24 2025
Portik Attila, Scalable Volumetric Benchmarks Based on Clifford and Free-Fermion Operations
Magyar Fizikus Vándorgyűlés 2025, Pécs
August 22, 2025
Portik Attila, Scalable Volumetric Benchmarks Based on Clifford and Free-Fermion Operations
KNL workshop, Budapest
June 12, 2025
Svastits Domonkos, Readout sweet spots for spin qubits with strong spin-orbit interaction
KNL workshop, Budapest
June 12, 2025
Attila Portik: Scalable Volumetric Benchmarks Based on Clifford and Free-Fermion Operations
Komló Quantum Workshop 2025, Komló, Hungary
May 29, 2025
Svastits Domonkos: Töltésqubitek és spinqubitek kiolvasásának dinamikai modellje
Komló Quantum Workshop 2025, Komló, Hungary
May 29, 2025
Fractals and the Mandelbrot set via iterated quantum maps, Panna Téglás, Attila Portik, Orsolya Kálmán, Igor Jex, Tamás Kiss
International Chaos and Complex Systems Symposium Proceedings
(2025)
ELTE Informatika Márton Petes: Csip programming, compiler development
2025 summer
ELTE Informatika, Péter Korpa: Csip programming, compiler development
2025 summer
Péter Diviánszky: Overview of Csip: dependent Haskell- with staged compilation [link]
40th Agda Implementors' Meeting
2025.05.30.
Balázs Kőműves: Write high-performance cryptography software in Agda [link]
40th Agda Implementors' Meeting
2025.05.30.
Svastits Domonkos, Readout sweet spots for spin qubits with strong spin-orbit interaction
Quantum Matter International Conference, Grenoble, France
May 22, 2025
Readout sweet spots for spin qubits with strong spin-orbit interaction, Domonkos Svastits, Bence Hetényi, Gábor Széchenyi, James Wootton, Daniel Loss Stefano Bosco and András Pályi
uploaded to arxiv
May 21, 2025
Portik Attila, Scalable Volumetric Benchmarks Based on Clifford and Free-Fermion Operations
OpensuperQ+ progress meeting poster, Helsinki, Finland
May, 19 - 21, 2025
Portik Attila, Scalable Volumetric Benchmarks Based on Clifford and Free-Fermion Operations
Quantum Certification Conference+ (QUACC+), Warsaw, Poland
May, 12 - 14, 2025
Csip is an open source programming language and compiler using dependent types and staging. [link]
Simphony functions as a noise-aware emulator of an NV-based quantum processing unit, capable of simulating the coupled dynamics of the qubit register and predict the outcome of the quantum computation/sensing. Simphony supports GPU acceleration and runs computations that are fully differentiable enabling gradient based optimization techniques. [link].
NV café. We organized a workshop for Budapest based researchers who work in the domain of point-defect qubits, such as nitrogen-vacancy centers. We were happy to see that it is a quite large community who work on diverse topics from ab initio calculations to advanced experiments. [link].
Faulhorn Labs
2025.05.08.
Multi-shot readout error benchmark of the nitrogen-vacancy center’s electronic qubit, accepted at Journal of Applied Physics. This paper calculates the multi-shot readout error dependence on readout parameters for NV center qubits. The error scales as $\Delta/\sqrt{N}$ suggesting \Delta as a benchmark. The model includes background photons, loss, and initialization error, helping to identify error sources. This enables targeted hardware improvements for better multi-shot readout performance.
Fast Fourier transformation, Strassen multiplication, [link]
ELTE Functional Programming
Péter Diviánszky: Lens [link]
ELTE Functional Programming
Egri Győző: Introduction to Zero Knowledge Proofs
Debrecen ATOMKI
2025.03.28.
Diviánszky Péter: Bevezetés a Haskellbe egy mátrix norma számoláson keresztül
Debrecen ATOMKI
2025.03.28.
Péter Diviánszky: The Csip compiler
Type theory group seminar
Eötvös University
2025.03.20.
Quantum World 2 Seminar [link]
Győző Egri, Péter Boross: Simphony: compiling to point defect qubits
QRC-4-ESP & QUEST Meeting, Budapest
2025.01.29.
Péter Diviánszky: Bidirectional parsing of Agda-like syntax. [link]
Christmas type theory workshop
2024.12.20.
Balázs Kőműves: Mese a "zero-knowledge proof"-ok világáról (in hungarian) [slides]
BME
2024.11.11.
Győző Egri: Records and forces
Physics Meets Philosophy
2024.10.17.
In the cooperative doctoral programme a PhD student and his/her supervisor collaborates with our company, and extends the research scope of the student in a way that is valuable for our company. Our second such PhD student, Domonkos Svastits works on the modelling of the fine structure of quantum measurement, specifically the details of the preparation and readout of nitrogen vacancy centers. He is a PhD student at the Budapest University of Technology and Economics (BME), his supervisor is András Pályi (BME)
Balázs Kőműves: Succinct proofs of arbitrary computations [slides]
Type theory seminar
2024.09.30.
Beating one bit of communication with and without quantum pseudo-telepathy, István Márton, Erika Bene, Péter Diviánszky & Tamás Vértesi
npj Quantum Information Volume 10 Issue 1 Page 79 (Nature Publishing Group UK) [link]
2024.08.22.
András Pályi: Simphony: a python package to simulate point-defect spin dynamics
Recent Advances in Quantum Computing and Technology (ReAQCT), Budapest
2024.06.19.
András Pályi: Simphony: a python package to simulate point defect dynamics, [link]
Defects in solids for quantum technologies, Budapest
2024.06.11.
András Pályi: Simphony: our python package to simulate point defect dynamics
BW-Hungary Quantum workshop at IQST, Ulm
2024.04.04.
Balázs Kőműves: Ellipses and elliptic curves, what's the deal [slides]
ELTE, Type theory seminar
2024.02.22.
In the cooperative doctoral programme a PhD student and his/her supervisor collaborates with our company, and extends the research scope of the student in a way that is valuable for our company. Our first PhD student, Attila Portik works on benchmarking of quantum computers, and certain non-linear quantum protocols, that may be useful for algorithmic cooling and benchmarking of quantum computers. Attila Portik is a PhD student of Eötvös University, and his supervisor, Orsolya Kálmán works at HUN-REN Wigner Research Center for Physics.
Győző Egri: Decoherence and locality
[slides]
Physics Meets Philosophy
2023.11.09.
AI4QT. We develop device-specific quantum compiler and error mitigation tools together with our partners: Fraunhofer IAF, XeedQ and HUN-REN Wigner Research Centre for Physics. This project is funded by a German-Hungarian Eureka grant. [link]
Balázs Kőműves: Introduction to Zero-Knowledge Proofs
[slides]
BME
2023.08.30.
Certification of qubits in the prepare-and-measure scenario with large input alphabet and connections with the Grothendieck constant Péter Diviánszky, István Márton, Erika Bene & Tamás Vértesi 2023/8/14 Scientific Reports Volume 13 Issue 1 Page 13200 (Nature Publishing Group UK) [link]
Péter Diviánszky: A type checker for dependent types
Type theory group seminar, Eötvös University
2023.05.03.
Yearly support for the Rudolf Ortvay physics competition
Bpfoundations is a reading seminar that brings together researchers and students with a background in physics, mathematics or philosophy of science and to create a platform to discuss some foundational questions of modern physics. [link]
Machine learning assisted GHZ state distillation protocol, Áron Rozgonyi, Tamás Kiss, Gábor Széchenyi, Orsolya Kálmán and Péter Boross
Quantum Techniques in Machine Learning, Naples
2022.11.08.
Balázs Kőműves: Introduction to Zero-Knowledge Proof systems [slides]
ELTE, Type theory seminar
2022.10.21.
Balázs Szőke, BME IIT, 2021 summer. Generation of outdoor scenes for robotics. Road segmentation with Explainable AI