Approximate, Unsound Computing

CPS and Embedded Systems

Languages, Runtime Systems, Security

Distributed Systems

CASTOR Research Focus Areas

 

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

 


 

CASTOR Newsletter

Upcoming Events

Dec 05

2nd European Chaos Engineering Day

December 5 @ 09:00 - 17:00
Stockholm
Jun 17

EuroS&P 2019 (Security and Privacy) at KTH

June 17, 2019 - June 19, 2019
Stockholm

News Archives

News Categories