Scheduled Maintenance Notice

Please note that Researcher Profiles will be undergoing scheduled maintenance on Wednesday 7th Oct, from 8:00am to 9:00am. During this time, the Researcher Profiles system will be unavailable. We apologise for any inconvenience and appreciate your understanding.

Researcher

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

Location

Engineering

Contact

ORCID as entered in ROS

orcid_icon https://orcid.org/0000-0002-6406-7875

UNSW Sydney NSW 2052 Australia Telephone +61 2 93851000
Authorised by Deputy Vice-Chancellor (Research)
UNSW CRICOS Provider Code: 00098G ABN: 57 195 873 179

Join the conversation