About

I am currently a PhD student. My research interests are in high-performance and correct-by-design distributed and heterogenous systems. I work with Roberto Palmieri on this in the SSS lab.

It is not enough for a system to be high-performance any longer. We also need systems to be correct-by-design. This allows for us to trust our systems and spend less time on fixing bugs. It is my hope that my work can help in providing correct-by-design systems that have good performance characteristics.