Registered user since Fri 23 Jan 2015
I am an Associate Professor in the School of Engineering and Computer Science at Victoria University of Wellington, New Zealand.
I am originally from Moscow, Russia with a background in Mathematics. I have completed my PhD in programming languages in 2006 and took up a job as a Lecturer in Software Engineering at Victoria University of Wellington. 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 2020 on sabbatical at Kyoto University in Japan and Czech Technical University in Prague, Czech Republic.
|APLAS 2019||On Decidable Subtyping for Path Dependent Types|
|Show activities from other conferences|
View general profile