Grigory Fedyukovich

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


The main directions of my research are:

Browse the list of publications in DBLP and check out full texts in ResearchGate.


News:

I (sub-)reviewed submissions at 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 was the program chair of VSSE '16 and helped organizing VSSE '14, CAV '13, FMCAD '10 and AVM '10.


Get more details from my CV or simply contact me via grigory@cs.washington.edu.


Last update: March 2017