I’m Hadar, a PhD student at the Technion, Israel. If you are interested in automata and their use in verification, or if you plan a visit to Israel and need some guidance, you are more than welcome to contact me!
A sharing platform for the Computer-Aided Verification community
