Dr. Johannes Pohjola

Instructor

Build a Statement of Purpose

Generate a tailored SOP for Dr. Johannes Pohjola. Improve your application with a focused, well-structured draft.

Biography

Johannes Aman Pohjola is a Conjoint Lecturer at the University of New South Wales (UNSW). He obtained his Master of Science degree in Computer Science from Uppsala University, Sweden, in 2010, and followed it with a PhD in Computer Science from the same institution in 2016. His research interests include interactive theorem proving, program verification, and concurrency theory, indicating a strong focus on formal methods in computer science. Additionally, he is dedicated to educating students in these advanced topics. Johannes has contributed to the academic community through numerous publications, and he has been recognized with awards for his outstanding papers, including a paper award at FORTE/DisCoTeC 2019.

Research Interests

Interactive Theorem Proving Program Verification Concurrency Theory

Requirements for University of New South Wales

Master Program
Requirements
GPA Requirement
Required:3
IELTS
Listening
Required:6
Reading
Required:6
Writing
Required:6
Speaking
Required:6
Overall
Required:6.5
TOEFL
Listening
Required:23
Reading
Required:23
Writing
Required:23
Speaking
Required:23
Total
Required:90
PTE
Listening
Required:54
Reading
Required:54
Writing
Required:54
Speaking
Required:54
Overall
Required:64
Prerequisites
Recognised Bachelor degree Minimum 1 year relevant work experience for certain streams
Application Checklist
  • Academic Transcripts
  • Proof of English Language Proficiency
  • Curriculum Vitae (CV)
  • Personal Statement
  • Copy of Passport
Specialization Notes

Includes Business Intelligence, Enterprise Systems, and Cybersecurity Management streams.