The FSU Computer Science faculty has been growing steadily in numbers and quality — we are pleased to continue this trend and welcome Grigory Fedyukovich, beginning with us this Fall 2019.
Dr. Grigory Fedyukovich is an Assistant Professor at Florida State University, USA. He completed his Ph.D. at the University of Lugano, Switzerland, under the supervision of Prof Natasha Sharygina, and then he was a postdoc at the University of Washington with Prof Rastislav Bodik and at Princeton University with Prof Aarti Gupta. His research interests are in automated software verification and synthesis, equivalence checking, and applications of relational verification to analyzing software security.
He is looking for students with a background in mathematics and logic to work on a number of interesting projects.