Researcher

Dr Johannes Aman Pohjola

Fields of Research (FoR)

Programming languages, Formal methods for software, Concurrency theory

Biography

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.


My Qualifications

MSc in Computer Science, Uppsala University, Sweden, 2010

PhD in Computer Science, Uppsala University, Sweden, 2016


My Awards

Best paper award at FORTE/DisCoTeC 2019