Dr Johannes Aman Pohjola

Dr Johannes Aman Pohjola

Conjoint Lecturer

MSc in Computer Science, Uppsala University, Sweden, 2010

PhD in Computer Science, Uppsala University, Sweden, 2016

Engineering
Computer Science and Engineering

Johannes Åman Pohjola is interested in beauty and truth. Specifically, he is an education focussed lecturer, with research interests in interactive theorem proving, program verification and concurrency theory.

E-mail
j.amanpohjola@unsw.edu.au

Best paper award at FORTE/DisCoTeC 2019