henry is pursuing his masters in cs at tcd. he is interested in kv caching and ml