![Dr Johannes Aman Pohjola](https://api.research.unsw.edu.au/sites/default/files/images/profile/johannes.jpeg)
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
- Publications
- Media
- Grants
- Awards
- Research Activities
- Engagement
- Teaching and Supervision
Best paper award at FORTE/DisCoTeC 2019