Scholar
Grigory Fedyukovich
Google Scholar ID: dv7u9JgAAAAJ
Florida State University
Citations & Impact
Citations
1,042
H-index
20
i10-index
34
Publications
20
Co-authors
0
Publications
Resume
Academic Achievements
- Multiple papers accepted in various international conferences such as PLDI '21, TACAS '21, VMCAI '21, etc. Served as a program committee member for several international conferences including CAV '22, SYNASC '21, VSTTE '21, etc.
Research Experience
- Assistant Professor at Florida State University.
Education
- Ph.D. from the University of Lugano, supervised by Prof Natasha Sharygina; Postdoc at the University of Washington with Prof Rastislav Bodik and at Princeton University with Prof Aarti Gupta.
Background
- Main research interests include: synthesis of inductive invariants, functional (Skolem) synthesis, relational verification and its applications to security analysis and automated parallelization, SMT-based reasoning over Algebraic Data Types.