Skip to main content

Johannes Aman Pohjola
Research Scientist

Research Interests

Johannes is interested in interactive theorem proving, program verification and concurrency theory.

Contact Details

Email:Johannes.Amanpohjola@data61.csiro.au

More contact information is available at the Contact page.

Publication List

Projects

Current

Career Summary

2010-2016: PhD student at Uppsala University, Sweden 2016-2018: Postdoctoral researcher at Chalmers University of Technology, Sweden

Qualifications

MSc in Computer Science, Uppsala University, Sweden, 2010

PhD in Computer Science, Uppsala University, Sweden, 2016

Program Committees and Editorial Boards

ICE 2017 : 10th Interaction and Concurrency Experience

EXPRESS/SOS 2017 : Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics

Publications

Data61 Papers

2018

Abstract to be published Solrun Halla Einarsdottir, Moa Johansson and Johannes Aman Pohjola
Into the infinite - theory exploration for coinduction
Artificial Intelligence and Symbolic Computation, pp. 70-86, Suzhou, China, 2018

Served by Apache on Linux on seL4.