Academic Programmes

Academics

Three faculties united by a commitment to mathematical rigour and formal methods.

Faculties

Three pillars of
formal thought

01
Mathematical Logic
Wydział Logiki Matematycznej
Foundations of mathematics, proof theory, formal linguistics, and model theory. The intellectual heart of ANF since its founding in 1993.
Faculty Homepage →
02
Computer Science
Wydział Informatyki
Programming language theory, type systems, algorithms, program synthesis, and equality saturation. Where theory meets implementation.
Faculty Homepage →
03
Software Security
Wydział Bezpieczeństwa Oprogramowania
Static analysis, formal verification, blockchain security, and automated program repair. Our newest and fastest-growing faculty, established 2015.
Faculty Homepage →
Programmes

Degree programmes

Bachelor of Science

A rigorous foundation in mathematical logic, theoretical computer science, and formal methods.

Learn more →

Master of Science

Advanced specialisation in program verification, type theory, or blockchain security.

Learn more →

Doctoral Programme

Original research at the frontier of formal sciences, supervised by leading scholars.

Learn more →

Begin your proof

Applications for the 2026/2027 academic year are now open.

Apply Now