Prof. Leonid Libkin - Separating Possible from Impossible, Or Why Practical Computing Needs Theory

Prof Libkin delivered his Inaugural entitled "Separating possible from impossible, or why practical computing needs theory" on Tuesday 10 May 2011.

Leonid Libkin is Professor of Foundations of Data Management in the School of Informatics at the University of Edinburgh. He was previously a Professor at the University of Toronto and a member of research staff at Bell Laboratories in Murray Hill. He received his PhD from the University of Pennsylvania in 1994.

Professor Libkin's main research interests are in the areas of data management and applications of logic in computer science. He has written four books and over 150 technical papers. He was the recipient of a Marie Curie Chair Award from the EU in 2006, a Premier's Research Excellence Award in 2001, and won four best paper awards. Professor Libkin has chaired programme committees of major database conferences (ACM PODS, ICDT) and was the conference chair of the 2010 Federated Logic Conference. He has given a dozen invited conference talks and has served on multiple program committees and editorial boards.