@andrea@discuss.systems
Joined: 07/18/2024
1
Followers
2
Following
Systems and Verification Research, Running, Hiking, Sailing, Wine.From September: Research Group Leader at MPI-SWS.
andrea has no public lists
andrea has no activity yet