|
|
| 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.
|
|
|
|