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)
• Marco Paganoni (PhD student)
• Akshatha Shenoy (PhD student)

Alumni

1. YuTing (Jeff) Chen: Robust and flexible intermediate verification (PhD student, June 2016–January 2022, Chalmers University of Technology).
2. Bhargav Bhatt: Supporting Debugging with Formal Guarantees (PhD student, October 2018–September 2022, USI).
3. Diego Marcilio: Practical Automated Program Analysis for Improving Java Software (PhD student, September 2019–November 2023, USI).
4. Mohammad (Moe) Rezaalipour: Test Case Generation and Fault Localization for Data Science Programs (PhD student, August 2019–June 2024, USI).
5. Abhishek Tiwari (postdoctoral researcher, October 2023–August 2024, USI).