Minor Research

Quantum Computing

I recently developed an interest in Quantum Computing. I had the opportunity to co-advice a group of motivated students for a course by Prof. Di Nitto at Politecnico di Milano. They started to figure out efficient implementations for existing Quantum circuits using the IBM Qiskit library. We recently published a paper about generalizing Exactly-1 SAT Solvers using Qiskit, in the 1st Quantum Software Engineering and Technology Workshop (QSET).

You can find more details about this work here.

Another work is accepted at QSE-ICSE which contains experiments to implement efficient coined quantum walk which could be used as a building block for other algorithms to gain speed-up.

More detail on this work is here.