Fields of Research (FoR)Programming languages, Formal methods for software, Concurrency theory
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.
MSc in Computer Science, Uppsala University, Sweden, 2010
PhD in Computer Science, Uppsala University, Sweden, 2016
Best paper award at FORTE/DisCoTeC 2019