Leonid Libkin es un científico informático que trabaja en gestión de datos , en particular en teoría de bases de datos y en lógica en informática .
Libkin es profesor en la Universidad de Edimburgo , donde preside el Departamento de Fundamentos de Gestión de Datos en la Escuela de Informática, [7] Anteriormente trabajó en Bell Labs , en la Universidad de Toronto y en la École Normale Supérieure de París. [7]
Libkin es el autor de libros de texto estándar sobre teoría de modelos finitos y sobre intercambio de datos . [8]
Es miembro de la ACM Fellow , [4] de la Royal Society of Edinburgh , [9] y miembro de la Academia Europaea. [2] Ganó premios al mejor artículo en el Simposio sobre Principios de Sistemas de Bases de Datos (ACM PODS) en 1999, 2003 y 2005, [10] en la Conferencia Internacional sobre Teoría de Bases de Datos (ICDT) en 2011, [11] en la Conferencia sobre Principios de Representación y Razonamiento del Conocimiento en 2014 y 2018, [12] en la Conferencia ACM SIGMOD (seguimiento de la industria) en 2023, [13] y un premio de prueba de tiempo en la ICDT en 2023. [11] Fue presidente del programa de la ICDT en 2005, [11] de la PODS en 2007 [10] y del Simposio ACM-IEEE sobre Lógica en Ciencias de la Computación (LICS) en 2021. [14]