Leonid Libkin#
| Membership Number: | 4012 |
| Membership type: | ORDINARY |
| Section: | INFORMATICS |
| Elected: | 2015 |
| Main Country of Residence: | UNITED KINGDOM |
| Homepage(s): | http://homepages.inf.ed.ac.uk/libkin |
Present and Previous Positions
- 2006 - present Professor, Chair of Foundations of Data Management, University of Edinburgh
- 2004 - 2006 Full Professor, University of Toronto
- 2001 - 2004 Associate Professor, University of Toronto
- 1999 - 2000 Visiting Researcher, INRIA-Rocquencourt, Projet Verso
- 1994 - 2001 Member of Research Staff, Bell Laboratories, Murray Hill
Fields of Scholarship
- Data management
- Logic in computer science
- Database theory
- Finite model theory
- Automata theory
Honours and Awards
- 2016 Royal Society Wolfson Research Merit Award
- 2015 Member of Academia Europaea
- 2012 Fellow of the ACM (Association for Computing Machinery)
- 2012 Fellow of the Royal Society of Edinburgh
- 2006 Marie Curie Chair (an EU FP6 award whose aim is to `encourage world-class researchers working in fields of key importance for Europe to resume their careers in Europe')
- 2001: Premier's Research Excellence Award
- 5 Best paper awards from major conferences:
- 2014 International Conference on Principles of Knowledge Representation and Reasoning (KR)
- 2011 International Conference on Database Theory (ICDT)
- 2005 ACM Symposium on Principles of Database Systems (PODS)
- 2003 ACM Symposium on Principles of Database Systems (PODS)
- 1999 ACM Symposium on Principles of Database Systems (PODS)
