ºÝºÝߣ

Assistant Professor

I am a professor in computer science. My research is largely focused on improving software reliability and security through formal methods, testing, analysis and cryptography. I also like tinker with ideas in the intersection of physics and computation.