Rector's Welcome
A message from our Rector
Welcome to the Academy of Formal Sciences...
Prof. dr hab. Małgorzata Zielińska
Rector, ANF
Founded in the intellectual tradition of the Lwów–Warsaw school, the Academy of Formal Sciences has pursued rigour in logic, computing, and verification for over three decades.
Our motto — "proof before construction" — captures the essence of formal sciences. We believe that rigorous mathematical reasoning must precede and guide the construction of software systems. This conviction shapes every aspect of ANF: our curriculum demands fluency in logic before students write their first line of code; our research prioritises correctness guarantees over empirical benchmarks; and our graduates enter industry equipped not merely to build systems, but to prove them reliable. In a world increasingly dependent on software — from financial infrastructure to medical devices — the ability to formally verify correctness is no longer an academic luxury. It is a necessity.
Full-time researchers and lecturers across three faculties
BSc, MSc, and PhD candidates from 22 countries
University partnerships across Europe for student and faculty exchange
Of graduates employed or in PhD programmes within 6 months
"Mathematics produces proofs. Engineering produces machines. We produce proofs of machines."
A student of the Lwów–Warsaw school tradition, Tarczyński spent three decades building the intellectual foundations for what would become ANF. From a Friday evening seminar of seven students in 1968 to a fully accredited academy, his vision of uniting logic with computation endures in every programme we offer.