Grigory Fedyukovich

Since 2016, I am a postdoc at the University of Washington, Seattle, USA, working with Prof. Rastislav Bodik. I completed my PhD at the University of Lugano, Switzerland, under supervision of Prof. Natasha Sharygina.


The main directions of my research:

News:

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


Last update: Sept 2017


Postdoctoral Researcher at the University of Washington


Links: CV, DBLP, Google Scholar


Address: Paul G. Allen School of Computer Science & Engineering, University of Washington, 185 Stevens Way, Office 348, Seattle, WA, USA


Email: grigory@cs.washington.edu