Grigory Fedyukovich

I am a postdoc at Princeton University, USA, working with Prof. Aarti Gupta. I completed my PhD at the University of Lugano, Switzerland, under supervision of Prof. Natasha Sharygina, and then I was a postdoc at the University of Washington, Seattle, USA, with Prof. Rastislav Bodik.


The main directions of my research:

News:

I (sub-)reviewed submissions at TACAS '18, HVC '17, FMCAD '17, HCVS '17, RV '17, SAS '17, SEFM '17, CAV '17, TACAS '17, FM '16, FMCAD '16, VSTTE '16 (including selected journal submissions), CAV '16, HCVS '16, TACAS '16 (including selected journal submissions), FMCAD '15, CAV '15, FM '15, NFM '15, TACAS '15, JAR-Interpolation '14, CAV '14, PSI '14, FMCAD '14, TACAS '14, FMCAD '13, TACAS '13, VSSE '13, DATE '12, FMCAD '12, GandALF '12, CAV '12, VSTTE '12, FMCAD '11, MEMOCODE '11, and TACAS '11.


I will be the program chair of VSSE '18. Previously, I was the local organization chair of RV '17, the program chair of VSSE '16 and the organization committee member of VSSE '14, CAV '13, FMCAD '10, and AVM '10.


Last update: Dec 2017


Postdoctoral Researcher at Princeton University


Links: CV, DBLP, Google Scholar


Address: Department of Computer Science at Princeton University, 35 Olden Street, Princeton, NJ, 08540-5233


Email: grigoryf@cs.princeton.edu