Research

I am working on a project involving the optimization of software runtime verification. I will update this page more in the future.