Grigory Fedyukovich Assistant Professor Office: 106C MCH Building Telephone: (206) 475-8585 E-Mail: grigory [ at cs dot fsu dot edu ] Visit Personal Page Research Dr. Fedyukovich’s research interests are: Synthesis of inductive invariants for verification of program safety and termination Relational verification and its applications to security analysis and automated parallelization Functional (Skolem) synthesis via lazy quantifier elimination and programming by example Incremental verification using function summaries and simulation relations. Dr. Fedyukovich is looking for motivated students to work on a number of projects: – Automated program synthesis from relational specifications, – Repairing buggy programs using counterexamples, – Proving program correctness by discovering of inductive invariants.