NASA Formal Methods 2024 (series) / Federico Rossi
Registered user since Tue 12 Dec 2023
Name:Federico Rossi
Bio:
Federico Rossi is an Assistant Professor of the Information Engineering Department at the University of Pisa. In 2019 he received his Master Degree in Computer Engineering \textit{magna cum laude} and in 2023 he received his Ph.D. in Information Engineering.
Country:Italy
Affiliation:Università di Pisa, Dipartimento di Ingegneria dell'Informazione
Personal website: https://people.unipi.it/federico_rossi
Research interests:Computer arithmetic, risc-v platforms, AI & formal verification
Contributions
NASA Formal Methods 2024-profile
View general profile
View general profile