‹Programming› 2019 (series) / Grigory Fedyukovich
Registered user since Wed 4 Nov 2015
Name:Grigory Fedyukovich
Country:United States
Affiliation:Princeton University
Personal website:http://www.cs.princeton.edu/~grigoryf/
Research interests:Automated Formal Methods
Contributions
| VPT 2019 | Committee Member in Program Committee within the VPT 2019 -track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
‹Programming› 2019-profile
View general profile
View general profile