Research output per year
Research output per year
Personal profile
Biography
Alex has an undergraduate degree in Mathematics and a PhD in Programming Languages. During his studies, he took short breaks to work as a Visiting Researcher at Purdue University, USA and a Software Engineer at two Wellington, NZ start-ups. In 2006, Alex took up a job as a Lecturer in Software Engineering at Victoria University of Wellington, New Zealand. He spent 2013 on a sabbatical at Carnegie Mellon University in Pittsburgh, PA, USA. He spent the winter of 2019/2020 on a sabbatical at Kyoto University in Japan. Please see Alex's Personal Web Page for a proper publications list.
Qualifications
PhD, VUW, NZ
Research student supervision
- Registered to supervise
Fingerprint
Dive into the research topics where Alex Potanin is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Research output
- 1 Article
-
FLEXIBLE CORRECT-BY-CONSTRUCTION PROGRAMMING
Runge, T., Bordis, T., Potanin, A., Thüm, T. & Schaefer, I., 2023, In: Logical Methods in Computer Science. 19, 2, p. 16:1-16:36Research output: Contribution to journal › Article › peer-review
Open Access