I was a Ph.D student at the
Computer Science Department at Bar-Ilan University, under the supervision of Prof. Doron Peled.
My research deals with the combination of Genetic Programming and formal verification methods (mainly Model Checking). This combination can be used for the synthesis of new algorithms, as well as for correcting and improving existing ones.
I also work at
Septier Communication Ltd. as a director of R&D.
I can be reached via e-mail at gkatzz at gmail dot com