
Dr. Gregory Fedyukovich
Assistant Professor
- Office: 262 Love Building
- Telephone:(206) 475-8585
- Email: gfedyukovich [ at fsu dot edu ]
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.