Masoud Ebrahimi


Formal Methods, PhD Candidate

Masoud Ebrahimi is a member of "Systematic Construction of Correct Systems" and working in the field of Formal Verification under the supervision of Professor Roderick Bloem. He joined the Institute of Applied Information Processing and Communications (IAIK) in 2016.
Masoud Ebrahimi


Masoud Ebrahimi is a researcher focused on software/hardware verification. His research interests are primarily in formal methods for the design and verification of digital systems. He studies temporal logics and omega-automata, model checking, automata learning, and symbolic execution and tries to bridge certain gaps in verification and synthesis using relevant machine learning methods.