Andrea Lattuada
@utaal
563
Followers
484
Following
72
Media
1,176
Statuses
Systems software and first order logic. PhD from @SystemsGroupETH , then @vmwareresearch , from September: Research Group Leader at MPI-SWS.
Don't wanna be here?
Send us removal request.