Leonid Libkin - Curriculum Vitae#

Education: BSc and MSc from Moscow, Russia (1986 and 1988); PhD in 1994 from the University of Pennsylvania.

Editorial boards (current): Journal of Applied Logic, Bulletin of Symbolic Logic, Theoretical Informatics and Applications, Acta Informatica.

Editorial boards (past): ACM SIGMOD Record, Logical Methods in Computer Science (LMCS), The Computer Journal.

Guest editor of 7 special journal issues, including J.ACM and ACM Transactions on Database Systems and Computational Logic.

Programme Committee Chair: 2005 International Conference on Database Theory (ICDT), 2007 ACM Symposium on Principles of Database Systems (PODS), 2013 Workshop on Logic, Language, Information and Computation (WoLLIC).

Conference Chair: 2010 Federated Logic Conference (FLoC).

Over 15 invited conference keynotes including PODS, ICDT, ICALP, WoLLIC, Description Logics.

Over 20 papers invited to special journal issues for best papers that appeared at conferences (conferences include PODS, LICS, ICDT, STACS, KR).

Other professional activities: member of PODS executive committee (2006-2009), ICDT Council (2003-2010), Steering committees of FLoC 1999 and 2010, chair of a test-of-time committee, member of UK Computing Research Committee since 2009.

Holder of over 15 grants, 9 of them as PI, with total value of over €7.5M.