
MSc in Computer Science, Uppsala University, Sweden, 2010
PhD in Computer Science, Uppsala University, Sweden, 2016
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.
Best paper award at FORTE/DisCoTeC 2019