Dag Prawitz

Dag Prawitz (born 1936, Stockholm) is a Swedish philosopher and logician. He is best known for his work on proof theory and the foundations of natural deduction, and for his contributions to proof-theoretic semantics.^[1][2]

Dag Prawitz
Born	1936 (age 88–89) Stockholm, Sweden
Nationality	Swedish
Alma mater	Stockholm University
Known for	Normalization theorems for Natural Deduction Proof of Takeuti's conjecture Curry-Howard correspondence Proof-theoretic semantics Prawitz's conjecture on the identity of proofs
Awards	Rolf Schock prize in logic and philosophy
Scientific career
Fields	Mathematical Logic Computer Science Philosophy
Institutions	University of Oslo Stockholm University
Doctoral students	Luiz Carlos Pereira Peter Schroeder-Heister Cesare Cozzo

Prawitz is a member of the Norwegian Academy of Science and Letters,^[3] of the Royal Swedish Academy of Letters and Antiquity and the Royal Swedish Academy of Science.

Prawitz was awarded the Rolf Schock Prize in Logic and Philosophy in 2020.