Write a Blog >>
Grigory Fedyukovich

Registered user since Wed 4 Nov 2015

Name: Grigory Fedyukovich

Affiliation: UW CSE

Personal website: http://homes.cs.washington.edu/~grigory

Research interests: Automated Formal Methods

PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM Activities

PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM-profile
View general profile