Computer Laboratory

Kyndylan Nienhuis

I am a PhD student under the supervision of Peter Sewell, working on the verification of basic security properties of CHERI and on C/C++11 concurrency. My research is part of the REMS project and funded by a Gates scholarship.

Publications