Works and Projects
A Generic Framework for Heap and Value Analyses
📅 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.
Large Language Models for Information Retrieval: A Survey
📅 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.
Quantum Hadamard Edge Detection
📅 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.
Academic Advisors Optimization
📅 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.