Search for contacts, projects,
courses and publications

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 shenoa@usi.ch to discuss anything related to work or otherwise.