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


My current researches are primarily in formal methods for the design and verification of digital systems, including hardware, software, and their combinations such as embedded systems. My studies include applications of game theory and SMT solvers to the automatic synthesis of systems from their specifications, model checking, automata learning, and symbolic execution. Prior to this, I used to work in the field of high performance distributed and embedded computing; hence, I am also familiar with topics, programming paradigms, and technologies in the field; i.e., data parallelism, distributed computing, GP-GPUs, SMPs, CMPs, FPGAs, concurrency related topics, scheduling, and similar.


Automata Learning for Symbolic Execution

Bloem, R. & Ebrahimi, M.
2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018, IEEE CS, 130 - 138

More Publications