Roberto Guanciale

Active in these projects
Ongoing

Toward secure critical systems via verification: Roberto Guanciale
Background and summary of fellowshipOne of the...
Completed

Research center
established by:
Associate Professor, Divison of Theoretical Computer Science at KTH, Digital Futures fellow, Digital Futures Faculty
Background and summary of fellowshipOne of the...