Research Interests:
Formal Methods, Model Checking, Synthesis, Genetic Programming, Evolutionary Algorithms.
Research Description: My research deals with the combination of Genetic Programming and formal verification methods (mainly Model Checking). This combination can be used for the automatic synthesis of new correct algorithms, as well as for correcting and improving existing ones. The research is done under the supervision of Prof. Doron Peled.
Selected Publications:
1. Gal Katz, Doron Peled: Synthesizing Solutions to the Leader Election Problem using Model Checking and Genetic Programming. HVC 2009
2. Gal Katz, Doron Peled: Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms. ATVA 2008: 33-47
3. Gal Katz, Doron Peled: Model Checking Driven Heuristic Search for Correct Programs. MoChArt 2008: 122-131
4. Gal Katz, Doron Peled: Model Checking-Based Genetic Programming with an Application to Mutual Exclusion. TACAS 2008: 141-156
|
