Fatemeh Ghassemi

Research interests

• Formal methods in software engineering
• Model checking and reduction techniques
• AI in software engineering
• Automata learning of complex systems
• Modeling and verification of distributed and concurrent systems
• Process algebra
• Software testing

Professional activities

Current

COORDINATION 2026 (PC co-chair), VECoS 2026 (PC), EXPRESS/SOS 2026 (PC), FSEN 2027 (PC), CAV 2027 (PC)

Past

FormaliSE 2025 (PC), EXPRESS/SOS 2024 (PC), TAP 2024 (PC), FORTE: [2022, 2023] (PC), FACS: [2021, 2022, 2023, 2024] (PC), FM: [2019, 2021] (PC), FSEN: [2011, 2013, 2015, 2017, 2019, 2021, 2023, 2025] (PC), COORDINATION: [2019, 2020, 2021, 2022] (PC), RTEST 2018 (Publication Chair), [2022, 2024] (PC), TTCS: [2015, 2017] (PC), iFMCloud 2016 (PC), JCSE (Editor Assistant)

Selected publications

Showing all 11 papers. Hover over a paper to read a short summary (tap on touch screens).

Full list on Google Scholar, DBLP, and in the CV.