Miklós Ajtai is a computer scientist at the International Business Machines Corporation Almaden Research Center, United States of America.
Career
One of Ajtai"s results states that the length of proofs in propositional logic of the pigeonhole principle for n items grows faster than any polynomial in n. Ajtai received his Candidate of Sciences degree in 1976 from the Hungarian Academy of Sciences.
Achievements
Membership
Hungarian Academy of Sciences]
Since 1995 he has been an external member of the Hungarian Academy of Sciences.