Sivakorn (Mil) Lerttripinyo

Sivakorn (Mil) Lerttripinyo

He/Him

A computer science student focusing on big data and high-performance computing, along with an interest to understand more on a human behaviour.

Teaching Assistant for Programming Theory

10 ECTS course, Department of Information Technology, Uppsala University, 2026

  • Assisted in teaching the course “Programming Theory” (HT2025) at Uppsala University.
  • Responsibilities
    • Conducted Tutorials sessions to help students understand how to verify the programs formally using Axiomatic Semantics.
    • Conducted Dafny Lab sessions to help students learn program verification using the Dafny programming language and verifier.
    • Graded Lab Assignments: Using Dafny to write and verify programs from the instructions provided.