About

I’m currently part of the CertiKOS research efforts. I’m also a dark-daisy cyborg logician/chef. Perhaps I’ll put more “About” here in the future.