Registered user since Fri 23 Jan 2015
I am an Associate Professor at the Australian National University in Canberra, Australia. I am originally from Moscow, Russia with a background in Mathematics. I have completed my PhD in programming languages in 2006 and worked as a lecturer/professor at Victoria University of Wellington between 2006 and 2022. During my studies, I took short breaks to work as a Visiting Researcher at Purdue University, and Software Engineer at two Wellington start-ups. I spent 2013 on sabbatical at Carnegie Mellon University in Pittsburgh, PA, USA. I spent winter 2019/2020 on sabbatical at Kyoto University in Japan.
|FormaliSE 2023||Committee Member in Program Committee within the FormaliSE 2023-track|
|Show activities from other conferences|