The ATOM research group

Formal methods often have the bad reputation of being expensive to deploy, of requiring highly-trained experts, and of being justified only for few safety-critical applications. The ATOM (Automation in Software and Verification Technology) research group aims to debunk this view by showing sweet spots where formal methods become cost-effective, usable, and practical.

Group members

In chronological order of when they joined the ATOM group:

• Carlo A. Furia (group head)
• Mohammad (Moe) Rezaalipour (PhD student)
• Marco Paganoni (PhD student)
• Akshatha Shenoy (PhD student)
• Abhishek Tiwari (postdoctoral researcher)

Alumni

1. YuTing (Jeff) Chen: Robust and flexible intermediate verification (June 2016–January 2022, Chalmers University of Technology).
2. Bhargav Bhatt: Supporting Debugging with Formal Guarantees (October 2018–September 2022, USI).
3. Diego Marcilio: Practical Automated Program Analysis for Improving Java Software (September 2019–November 2023, USI).