Andrei is currently working in the Soft-Dev group at King's College London in the CapableVMs project. He is looking at methods for efficient and secure compartmentalization using the new CHERI technology.