Find a researcher
![](/sites/default/files/images/profile/johannes.jpeg)
Dr Johannes Aman Pohjola
Faculty: Engineering
Fields of Research (FoR): Programming languages, Formal methods for software, Concurrency theory
Faculty: Engineering
Fields of Research (FoR): Programming languages, Formal methods for software, Concurrency theory
Johannes Åman Pohjola is interested in beauty and truth.
![](/sites/default/files/images/profile/photo.1913-07s.jpg)
Professor Carroll Morgan
Faculty: Engineering
Fields of Research (FoR): Cybersecurity and privacy, Concurrency theory, Formal methods for software, Computational Logic and Formal Languages, Software Engineering, Applied Discrete Mathematics
SEO tags:
Faculty: Engineering
Fields of Research (FoR): Cybersecurity and privacy, Concurrency theory, Formal methods for software, Computational Logic and Formal Languages, Software Engineering, Applied Discrete Mathematics
SEO tags:
Professor Carroll Morgan is professor in the School of Computer Science and Engineering.