FormaliSE 2023
Dates to be announced Melbourne, Australia
co-located with ICSE 2023
ICSE 2023 (series) / FormaliSE 2023 (series) / Ivan Beschastnikh
Ivan Beschastnikh

Registered user since Sat 17 Dec 2016

Name:Ivan Beschastnikh
Country:Canada
Affiliation:University of British Columbia
Personal website: http://www.cs.ubc.ca/~bestchai/
GitHub: https://github.com/bestchai
Research interests:Program analysis, formal methods, distributed systems, privacy, security

Contributions

Show activities from other conferences

ICSE 2023-profile
View general profile