Cristian Curaba
Cristian Curaba pursued a bachelor's degree in Mathematics from the University of Udine, a master's degree in Data Science and Scientific Computing from the University of Trieste and a master's from the University High School "Di Toppo Wasserman" which offers an internal training course of excellence of an interdisciplinary nature.
Cristian's research interest aims to contribute to the AGI alignment problem. He mainly works on linking formal methods (logical approach) and data-driven machine learning models for runtime verification.
Cristian will work on evaluating and benchmarking the interaction between LLM-based agents with a formal tool (Tamarin) used to detect (or disprove) vulnerabilities in security communication protocols.
