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 availability. Contact: Mads Dam (email@example.com).
- CTI: Create an artificial software developer that continuously augments and repairs software tests. Contacts: Martin Monperrus (firstname.lastname@example.org) and Benoit Baudry (email@example.com).
- Industry PhD to create a fully autonomous “crash-debug-fix” system as part of the CI loop without interference from the outside world. Contacts: Han Fu (firstname.lastname@example.org) and Martin Monperrus (email@example.com).