Grigory Fedyukovich

Gregory Fedyukovich

Dr. Gregory Fedyukovich

Assistant Professor

  • Office: 262 Love Building
  • Telephone:(206) 475-8585
  • Email: gfedyukovich [ at 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.