Systems software and first order logic. PhD from @SystemsGroupETH, then @vmwareresearch, from September: Research Group Leader at MPI-SWS.

ID: 187743747

linkhttps://andrea.lattuada.me calendar_today07-09-2010 01:25:36