This is a demo instance. Do not store any relevant data here. You can use the user 'demo' and password 'password' to login.
avatar

Andrea Lattuada

@andrea@discuss.systems

Joined: 07/18/2024



About Andrea Lattuada

Systems and Verification Research, Running, Hiking, Sailing, Wine.
From September: Research Group Leader at MPI-SWS.

Lists

andrea has no public lists

Timeline

andrea has no activity yet