Interests
- Formal modeling
- Operating systems
- Programming language design
- Computer architectures
- Real-time networks
- Astrionics
Education
M.Sc. in Computer Science and Engineering, 2023
Politecnico di Milano
M.Sc. in Computer Science, 2022
Keio University (慶應義塾大学)
B.Sc. in Computer Science and Engineering, 2020
Politecnico di Milano