Approximate, Unsound Computing
CPS and Embedded Systems
Languages, Runtime Systems, Security
Distributed Systems

CASTOR Research Focus Areas