
Registered user since Fri 23 Jan 2015
Name:Alex Potanin
Bio:
I am an Associate Professor at the Australian National University in Canberra, Australia. I completed my PhD in programming languages in 2007 and worked as a lecturer/professor at Victoria University of Wellington until 2022. During my studies, I took short breaks to work as a Visiting Researcher at Purdue University and a Software Engineer at two Wellington start-ups. I spent 2013 on a sabbatical at Carnegie Mellon University in Pittsburgh, PA, USA. I spent the winter of 2019/2020 on a sabbatical at Kyoto University in Japan.
Country:Australia
Affiliation:Australian National University
Personal website: https://potanin.github.io
GitHub: https://github.com/potanin
Research interests:Programming Languages
Contributions
2025
ICFP/SPLASH
SPLASH
- Steering Committee Chair in Steering Committee
- Embedding Quantum Program Verification into Dafny
- X-by-Construction: Towards Ensuring Non-Functional Properties in by-Construction Engineering
- View Types in Rust
- SPLASH Awards
- Verifying Extract Method Refactoring in Rust
- Reproducibility Debt in Scientific Software
Using general profile