||106C MCH Building
||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.