Scholar
Alex Potanin
Google Scholar ID: NUl2HRkAAAAJ
Associate Professor, Australian National University
Citations & Impact
Citations
371
H-index
12
i10-index
16
Publications
20
Co-authors
34
list available
Publications
Resume (English only)
Academic Achievements
- His work with Master's student Jan Larres was cited in the well-known book 'The Performance of Open Source Applications', revolutionizing performance evaluations in Talos and similar systems. Designed and produced a usable and secure programming language called Wyvern. The CUE configuration language, widely used within Alibaba’s cloud and service configuration, based its module system design on the Wyvern modules.
Research Experience
- During the first decade of his career, he worked on concepts of ownership and immutability, introducing 'lifetime parameters' which were widely adopted by the Rust programming language. He was employee number 3 at Innaworks in 2006, pioneering language translation research between different platforms. Collaborated with Carnegie Mellon University to create the Wyvern programming language, designed from the ground up with security and usability as its primary goals.
Education
- Completed his PhD in 2006 on Generic Ownership, demonstrating how type polymorphism can be used to provide ownership type support in any language, such as the modern-day Rust Programming Language.
Background
- Associate Professor at the Australian National University, with a primary interest in programming language design and implementation, including language security, type systems, software verification, capabilities, ownership, immutability, and quantum computing.
Miscellany
- Currently working on ideas for modern module system designs based on capabilities, combinations of abstract and algebraic effects, and other programming language design ideas, including for the world of fully verified and secure software.
