Programming Language Design Projects with Alex

Picture of Alex Potanin

15 May 2024

I work on the intersection of security and programming languages. My own research language is Wyvern but I am also interested in modern languages such as Rust. I work on ownership, immutability, effects, capabilities and other security related programming languages features. The projects can range from usability studies of programming languages to advanced programming language semantics projects. Recently, I was also working on program synthesis, correctness by construction, and verification of quantum programs. Please contact me directly if you want to do an individual research project and we can discuss what options I may have. I am seeking new undergraduate project students from Semester 2 of 2024 onwards.

You are on Aboriginal land.

The Australian National University acknowledges, celebrates and pays our respects to the Ngunnawal and Ngambri people of the Canberra region and to all First Nations Australians on whose traditional lands we meet and work, and whose cultures are among the oldest continuing cultures in human history.

arrow-left bars search times arrow-up