| Office: |
262 Love Building |
| Telephone: |
(206) 475-8585 |
| E-Mail: |
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.
