Grigory Fedyukovich

Assistant Professor

 

 

Grigory Fedyukovich
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.