Sophie Rain

PhD student

Group Automated Program Reasoning
Websites https://sophierain.github.io/
Other links