Approximate, Unsound Computing

CPS and Embedded Systems

Languages, Runtime Systems, Security

Distributed Systems

CASTOR Research Focus Areas