Anzhela Sukhanova -

Registered user since Mon 27 Mar 2023

Name:Anzhela Sukhanova

Country:Russia

Affiliation:Saint-Petersburg State University

GitHub: https://github.com/AnzhelaSukhanova

Contributions

2023

EASE

Author of HornFuzz: Fuzzing CHC solvers within the Research (Full Papers)-track