![Grigory Fedyukovich](https://popl23.sigplan.org/getProfileImage/grigoryfedyukovich/8a42654a-49a3-4e1e-959f-eeeae3002ee7/small.jpg?1711494902000)
Registered user since Wed 4 Nov 2015
Name:Grigory Fedyukovich
Country:United States
Affiliation:Florida State University
Personal website: http://www.cs.fsu.edu/~grigory
Research interests:Automated Formal Methods
Contributions
POPL 2023-profile
View general profile
View general profile