Proceedings of the National Academy of Sciences of the United States of America

About the PNAS Member Editor
Name Ajtai, Miklos
Location IBM Almaden Research Center
Primary Field Computer and Information Sciences
Secondary Field Mathematics
 Election Citation
Miklos Ajtai studies the theory of lower bounds in various models of computations including circuits, branching programs, and RAMs.
 Research Interests
Miklos Ajtai's main interest is the theory of lower bounds in various models of computations, for example, circuits, branching programs, RAMs. Many of the questions in this area are closely related to questions in proof complexity or questions about first-order definability in certain finite structures. Recently he is interested in lower bounds in RAM models, and the connections of these lower bounds with definability questions in the finite structure whose universe is an initial segment of the set of natural numbers and the functions are the restrictions of the arithmetic operations to this universe.

These pages are for the use of PNAS Editorial Board members and authors searching for PNAS member editors. For information about the National Academy of Sciences or its membership, please see
National Academy of Sciences | Copyright ©2023, All Rights Reserved