Beatrice Ferrigno

Dottoranda in "Law, Science and Technology" (ciclo 40°), si occupa di sviluppare metodi formali per la valutazione del rischio nell'ambito dell'intelligenza artificiale. Si interessa prevalentemente di logiche non monotone, logiche modali non-normali e logica computazionale.

Svolge il suo lavoro sotto la supervisione del prof. Antonino Rotolo.