Leonid Libkin

Leonid Libkin is the author of books such as Elements Of Finite Model Theory.