Not registered as user yet

Name:Danil Annenkov
Affiliation:Department of Computer Science, University of Copenhagen

Contributions

CoqPL 2023 Committee Member in Program Committee within the CoqPL 2023-track
Show activities from other conferences

Using general profile