Grigory Fedyukovich

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


The main directions of my research:

News:

I (sub-)reviewed submissions at SPIN '18, TOPLAS '18, CAV '18, 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 served as the local organization chair of RV '17, the program chair of VSSE '18 and VSSE '16, and the organization committee member of VSSE '14, CAV '13, FMCAD '10, and AVM '10.


Last update: May 2018


Postdoctoral Researcher at Princeton University


Links: CV, DBLP, Google Scholar, ORCID


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


Email: grigoryf@cs.princeton.edu