Minor Research
Quantum Computing
I had the privilege of co-advising a group of highly motivated students in a course led by Prof. Di Nitto at Politecnico di Milano. Together, we explored efficient implementations of existing quantum circuits using the IBM Qiskit library and conducted state-of-the-art analyses across various subdomains of quantum computing. Below are two of our published works:
“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 witnessing the challenges of transforming an automaking company into a tech-focused enterprise, I developed an interest in researching the practical issues surrounding agile development for safety-critical systems. This interest culminated in the article below.
- “An Exploration of Agile Methods in the Automotive Industry: Benefits, Challenges and Opportunities” (2024). ArXiv