|
I'm currently 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.
|
