Late breaking results: FRIENDS - Finding related interesting events via neighbor detection
- Raviv Gal
- Haim Kermany
- et al.
- DAC 2020
Since June 2021, I am a member of the Quantum Computing team and a contributor to Qiskit open-source.
Previously to that, I was a member of the Formal Verification team and worked on Hardware Model Checking and SAT-solving.