The software technology research at CASTOR is supported by 3 PhD grants from WASP:

  • HAPS: Develop a secure platform for modern computing, which can provide reliable and secure on-demand resource availabilityContact: Mads Dam (
  • CTI: Create an artificial software developer that continuously augments and repairs software tests. Contacts: Martin Monperrus ( and Benoit Baudry (
  • Industry PhD to create a fully autonomous “crash-debug-fix” system as part of the CI loop without interference from the outside worldContacts: Han Fu ( and Martin Monperrus (