Akshatha Shenoy
https://usi.to/bhgv
Biography
Hi
I am a first year Ph.D. student advised by Prof. Carlo A. Furia at the Faculty of Informatics, USI, Lugano. I am interested in various aspects of Formal Verification; particularly in the area of concurrent program verification, hypersafety verification and model checking.
Please feel free to drop an email at [email protected] to discuss anything related to work or otherwise.
