Leonid Libkin Award Recipient Leonid Libkin ACM Fellows (2012) ACM Fellows USA - 2012 citation For contributions to finite model theory and database theory.