Teaching

Õppetöö

Themes and courses

Teemad ja kursused

Teaching themes

Õppetöö teemad

Interactive theorem proving, functional programming, and programming languages seminars.

Interaktiivne teoreemitõestus, funktsionaalprogrammeerimine ja programmeerimiskeelte seminarid.

Recent and recurring courses

Hiljutised ja korduvad kursused

Functional Programming, Programming Languages Research Seminar, and Verified Functional Algorithms (spring, yearly from 2026).

Funktsionaalprogrammeerimine, programmeerimiskeelte uurimisseminar ning Kontrollitud funktsionaalsed algoritmid (kevad, igal aastal alates 2026).

Courses

Kursused

Course list

Kursuste loetelu

Kontrollitud funktsionaalsed algoritmid — spring, yearly from 2026 — kevadel igal aastal alates 2026
Programmeerimiskeelte uurimisseminar — 2019, 2021, 2025 (recent) — 2019, 2021, 2025 (hiljutised)
Funktsionaalprogrammeerimine — MSc 2017; BSc 2021– — magister 2017; bakalaureus 2021–
Programmeerimiskeelte alused — discontinued after 2025 — lõpetatud pärast 2025. aastat
Tüübiteooria (2019)
Programmeerimiskeeled (2014–2020)
Sissejuhatus interaktiivsesse teoreemitõestusesse (2016)

Supervision topics

Juhendamise teemad

Topics for theses and projects

Teemad lõputöödeks ja projektideks

Formal proof of algorithms in Rocq/Coq (e.g., Push-Relabel).
Algoritmide formaalne tõestamine Rocq/Coq keskkonnas (nt Push-Relabel).
Static analysis of Java bytecode with Põder (analysis, solvers, memory).
Java baitkoodi staatiline analüüs Põdra abil (analüüs, lahendajad, mälu).
Functional programming course materials and problem sets.
Funktsionaalprogrammeerimise õppematerjalid ja ülesanded.
Functional programming projects in Elm, Elixir, Haskell, or OCaml.
Funktsionaalprogrammeerimise projektid Elm/Elixir/Haskell/OCaml keeltes.

Supervised theses

Juhendatud lõputööd

Completed theses

Valminud lõputööd

Full list on the PLAS thesis topics page (21 completed theses). See plas.cs.ut.ee/Teemad/Apinis.

Täielik nimekiri PLASi lõputööde lehel (21 lõpetatud lõputööd). Vaata plas.cs.ut.ee/Teemad/Apinis.

2024 · Aksel Õim — Push-relabel algoritmi formaalne tõestamine Coq raamistikus
2024 · Kadi Sammul — Võrrandi lahendamine kombineeritud laiendamise ja kitsendamise abil Coqis
2022 · Maarika Markus — Veebirakendus funktsionaalprogrammeerimise ja -keele Idris õppimiseks
2021 · Andrus Müür — Java baitkoodi mälu staatiline analüüs
2021 · Karoliine Holter — Funktsionaalprogrammeerimise õpetamine Idrises
2021 · Peter Kallaste — Efektisüsteemide õpetamine Haskellis
2020 · Halliki Mullari — Java baitkoodi sünkroniseerimise analüüs raamistikus Põder
2019 · Raul Redpap — Kahni algoritmi tõestamine Coq raamistikus

Service

Teenistus

Academic service

Akadeemiline teenistus

Academic secretary for PhD defenses, Institute of Computer Science (Sep 2020 – Jan 2025).
Doktorikaitsmiste akadeemiline sekretär, arvutiteaduse instituut (09.2020 – 01.2025).