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.
We鈥檝e updated our privacy policy so that we are compliant with changing global privacy regulations and to provide you with insight into the limited ways in which we use your data.
You can read the details below. By accepting, you agree to the updated privacy policy.
