Denis D'Ambrosi
Denis D'Ambrosi is a M.Sc student in AI & Cybersecurity at the University of Udine. Ever since the beginning of his Erasmus program in Austria, he has joined Klagenfurt University's TIG Lab as a research assistant to investigate the applications of Meta-Learning to time series forecasting.
Denis' main area of interest regarding AI safety consists in investigating the integration of formal reasoning methods with LLM-based agents.
During his Apart fellowship, Denis will design a benchmark to evaluate the capabilities of AI agents regarding the use of symbolic model checkers to identify and exploit security vulnerabilities in communication protocols.