Alex Potanin

Alex Potanin is an Associate Professor MIEAust at The Australian National University's School of Computing. His research focuses on Programming Languages Design, Security, and Software Engineering. His work explores the mathematical principles underlying software engineering tools, with contributions to type systems around ownership, immutability, and capabilities. His research has influenced the Rust programming language's lifetime parameters and the design of the Wyvern programming language, which has impacted Scala's capture checking and effects. He completed his PhD in 2006 on Generic Ownership and has worked on projects related to immutability and module systems. He is currently exploring modern module systems designs and secure software for embedded and quantum computing systems.