Leonid Libkin

ACM Fellows

USA - 2012

citation

For contributions to finite model theory and database theory.