Minor Research

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 and perform state-of-the-art analysis of different subdomains of the quantum computing area.

Find two of our published works below:

• “Generalizing an Exactly-1 SAT Solver for Arbitrary Numbers of Variables, Clauses, and K” (2020). In: 1st Quantum Software Engineering and Technology Workshop (QSET). More details and presentation.

• “Experimental Implementation of Discrete Time Quantum Walk with the IBM Qiskit Library” (2021). In: Second International Workshop on Quantum Software Engineering (Q-SE). Co-located with ICSE 2021. More details and presentation.

Agile Development of Safety Critical Systems

After working in the automotive industry and observing the challenges of transforming an automaking company into a tech-focused one, I became interested in researching the practical issues surrounding agile development of safety-critical systems which led to the article below.

• “An Exploration of Agile Methods in the Automotive Industry: Benefits, Challenges and Opportunities” (2024). ArXiv