Fields of Research (FoR)
Programming languages, Formal methods for software, Concurrency theoryBiography
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
Location
Contact
Publications
by Dr Johannes Aman Pohjola
ORCID as entered in ROS
https://orcid.org/0000-0002-6406-7875