Search for contacts, projects,
courses and publications

Akshatha Shenoy



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