Grigory Fedyukovich

Registered user since Wed 4 Nov 2015

Name:Grigory Fedyukovich
Country:United States
Affiliation:Florida State University
Research interests:Automated Formal Methods

Contributions

VMCAI 2023 Session Chair of Neural networks and Abstract Interpretation (part of VMCAI 2023)
Solving Constrained Horn Clauses over Algebraic Data Types
Show activities from other conferences

POPL 2023-profile
View general profile