CASTOR Research Focus Areas

• Approximate, Unsound Computing – DevOps, Test Automation, Fault Injection, Automatic Repair, Diversification, Randomization, Chaos Engineering – Download presentation for more info
• CPS and Embedded Systems – DSLs, System Level Semantics, Hybrid Modeling, Optimization, Correctness-By-Construction, Software Defined Networks – Download presentation for more info
• Languages, Runtime Systems, Security – Virtualisation, Compilers, Language Design, Formal Methods, Type System, Execution Platforms – Download presentation for more info
• Distributed Systems – Analytics, Bigdata, Data Science, Database Management Systems, Blockchain – Download presentation for more info