Dr. Lars Henrik Eriksson

Associate Professor

Build a Statement of Purpose

Generate a tailored SOP for Dr. Lars Henrik Eriksson. Improve your application with a focused, well-structured draft.

Biography

Lars-Henrik Eriksson is an Associate Professor at Uppsala University’s Department of Information Technology. With extensive experience teaching at both basic and advanced levels, he is recognized as a Distinguished University Teacher and serves as a pedagogical mentor. He coordinates the Master's Programme in Computer Science and has taught numerous courses, including Advanced Functional Programming and Software Engineering. His research focuses on applying formal methods within software development, specifically in programming languages and computer science. Among his management roles, he was Head of the Division of Computing Science from 2004 to 2018. Aside from his academic pursuits, he has worked as a consultant on various projects, particularly in risk analysis related to formal methods in railway signalling systems. In his personal life, he holds a Private Pilot License and has dedicated time to railway signaling systems and flying clubs in Uppsala.

Research Interests

Formal Methods Software Engineering Programming Languages Logic Programming Interactive Theorem Proving

Experience

Associate Professor

2005-08-01 — Present

Uppsala University • Uppsala, Sweden

Teaches and conducts research in the field of Computer Science, focusing on formal methods and programming languages.

Courses

Advanced Functional Programming Imperative Object-Oriented Programming Basic Programming Software Engineering

Requirements for Uppsala University

Master Program
Requirements
GPA Requirement
Required:3
IELTS
Listening
Required:5.5
Reading
Required:5.5
Writing
Required:5.5
Speaking
Required:5.5
Overall
Required:6.5
TOEFL
Writing
Required:20
Total
Required:90
Prerequisites
Bachelor's degree equivalent to a Swedish Kandidatexamen (180 ECTS) 90 credits in a subject relevant to the specific program
Application Checklist
  • Bachelor's degree certificate and diploma
  • Official transcripts of records
  • Proof of English proficiency
  • Copy of passport photo page
  • Statement of Purpose (for most programs)
  • Curriculum Vitae (CV)
  • Application Summary Sheet (if required by department)
Specialization Notes

General Master's requirements applying across Science, Technology, and Humanities departments.