Grigory Fedyukovich

Assistant Professor



Grigory Fedyukovich
Office: 262 Love Building
Telephone: (206) 475-8585
E-Mail: grigory [ at cs dot fsu dot edu ]
Visit Personal Page



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.