Johannes Aman Pohjola

Lecturer

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.

Conference Papers
add
Åman Pohjola J, 2019, 'Psi-Calculi Revisited: Connectivity and Compositionality', in Formal techniques for distributed objects, components, and systems : 39th IFIP WG 6.1 International Conference, FORTE 2019, held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019 (Series title: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Kongens Lyngby, Denmark, pp. 3 - 20, presented at FORTE, Kongens Lyngby, Denmark, 17 June 2019 - 21 June 2019, http://dx.doi.org/10.1007/978-3-030-21759-4_1
2019
Einarsdóttir SH; Johansson M; Åman Pohjola J, 2018, 'Into the infinite - theory exploration for coinduction', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 70 - 86, http://dx.doi.org/10.1007/978-3-319-99957-9_5
2018
Férée H; Åman Pohjola J; Kumar R; Owens S; Myreen MO; Ho S, 2018, 'Program Verification in the Presence of I/O: Semantics, Verified Library Routines, and Verified Applications', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, Oxford, U.K., pp. 88 - 111, presented at 10th International Conference, VSTTE 2018, Oxford, U.K., 18 July 2018 - 19 July 2018, http://dx.doi.org/10.1007/978-3-030-03592-1_6
2018
Sandberg Ericsson A; Myreen MO; Åman Pohjola J, 2017, 'A verified generational garbage collector for CakeML', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 444 - 461, http://dx.doi.org/10.1007/978-3-319-66107-0_28
2017
Pohjola JA; Parrow J, 2016, 'Bisimulation Up-To Techniques for Psi-Calculi', in Avigad J; Chlipala A (ed.), PROCEEDINGS OF THE 5TH ACM SIGPLAN CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS (CPP'16), ASSOC COMPUTING MACHINERY, St Petersburg, FL, pp. 142 - 153, presented at 5th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP), St Petersburg, FL, 18 January 2016 - 19 January 2016, http://dx.doi.org/10.1145/2854065.2854080
2016
Pohjola JA; Parrow J, 2016, 'The Expressive Power of Monotonic Parallel Composition', in Thiemann P (ed.), PROGRAMMING LANGUAGES AND SYSTEMS (ESOP 2016), SPRINGER-VERLAG BERLIN, Eindhoven, NETHERLANDS, pp. 780 - 803, presented at 25th European Symposium on Programming (ESOP) Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS), Eindhoven, NETHERLANDS, 03 April 2016 - 07 April 2016, http://dx.doi.org/10.1007/978-3-662-49498-1_30
2016
Borgström J; Huang S; Johansson M; Raabjerg P; Victor B; Åman Pohjola J; Parrow J, 2011, 'Broadcast psi-calculi with an application to wireless protocols', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 74 - 89, http://dx.doi.org/10.1007/978-3-642-24690-6_7
2011
Journal articles
add
Sandberg Ericsson A; Myreen MO; Åman Pohjola J, 2019, 'A Verified Generational Garbage Collector for CakeML', Journal of Automated Reasoning, vol. 63, pp. 463 - 488, http://dx.doi.org/10.1007/s10817-018-9487-z
2019
Borgstrom J; Gutkovas R; Parrow J; Victor B; Pohjola JA, 2016, 'A SORTED SEMANTIC FRAMEWORK FOR APPLIED PROCESS CALCULI', LOGICAL METHODS IN COMPUTER SCIENCE, vol. 12, http://dx.doi.org/10.2168/LMCS-12(1:8)2016
2016
Borgström J; Huang S; Johansson M; Raabjerg P; Victor B; Åman Pohjola J; Parrow J, 2015, 'Broadcast psi-calculi with an application to wireless protocols', Software and Systems Modeling, vol. 14, pp. 201 - 216, http://dx.doi.org/10.1007/s10270-013-0375-z
2015
Parrow J; Borgström J; Raabjerg P; Åman Pohjola J, 2014, 'Higher-order psi-calculi', Mathematical Structures in Computer Science, vol. 24, http://dx.doi.org/10.1017/S0960129513000170
2014
Pohjola JA; Parrow J, 2014, 'Priorities Without Priorities: Representing Preemption in Psi-Calculi', ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, pp. 2 - 15, http://dx.doi.org/10.4204/EPTCS.160.2
2014
Åman Pohjola J; Gengelbach A, 'A Mechanised Semantics for HOL with Ad-hoc Overloading', , http://dx.doi.org/10.29007/413d
Book Chapters
add
Borgström J; Gutkovas R; Parrow J; Victor B; Pohjola JÅ, 2014, 'A Sorted Semantic Framework for Applied Process Calculi (Extended Abstract)', in Trustworthy Global Computing, Springer International Publishing, pp. 103 - 118, http://dx.doi.org/10.1007/978-3-319-05119-2_7
2014
Borgström J; Gutkovas R; Parrow J; Victor B; Pohjola JÅ, 2014, 'A Sorted Semantic Framework for Applied Process Calculi (Extended Abstract)', in Trustworthy Global Computing, Springer International Publishing, pp. 103 - 118, http://dx.doi.org/10.1007/978-3-319-14128-2_7
2014

Best paper award at FORTE/DisCoTeC 2019