A collection of projects and seminars I have worked on, from static analysis to quantum computing.
Try clearing the keyword filter.
Dec 2025
Seminar presentation on a formal framework designed to combine arbitrary Heap and Value analyses for object-oriented languages, addressing precision loss during summary node materialization via a substitution mechanism.
Apr 2025
A comprehensive study exploring how Large Language Models (LLMs) revolutionize Information Retrieval, covering topics like query rewriting, retrievers, rerankers, readers, and search agents.
Dec 2024 – Feb 2025
Comprehensive study and implementation of the Quantum Hadamard Edge Detection algorithm using Qiskit, focusing on efficient edge detection in digital images via quantum computing.
Dec 2024 - Feb 2025
Development of an automated system for assigning academic advisors (garanti) in a university context, leveraging Answer Set Programming (ASP) with Python and Clingo to efficiently solve a complex combinatorial optimization problem.