Bader
Abu Radi
I am a PhD student at the School of Computer Science and Engineering of The Hebrew University under the supervision of Prof. Orna Kupferman
I have a B.Sc and an M.Sc in Computer Science, both from the Hebrew University. My M.Sc supervisor was Prof. Orna Kupferman.
I have a broad interest in formal methods and automata. My recent focus has been on minimizing automata over infinite words. I am also interested in verification and synthesis of non-terminating systems.