Leonid Libkin FRSE es un científico informático que trabaja en la gestión de datos , en particular en la teoría de bases de datos , y en lógica en informática .
Leonid Libkin | |
---|---|
alma mater | Universidad de Pensilvania [1] |
Premios | Premio al mérito de investigación Wolfson de la Royal Society [2] Academia Europaea [3] |
Carrera científica | |
Instituciones | École normale supérieure Universidad de Edimburgo Universidad de Toronto Bell Labs |
Tesis | Aspectos de la información parcial en las bases de datos [1] (1994 [1] ) |
Asesor de doctorado | Peter Buneman [1] |
Sitio web | páginas de inicio |
Libkin es profesor en la Universidad de Edimburgo , donde es presidente de Fundamentos de Gestión de Datos en la Escuela de Informática [7] y en la École Normale Supérieure de París. [8] Anteriormente trabajó en la Universidad de Toronto y en Bell Labs . [7]
Libkin es autor de libros de texto estándar sobre teoría de modelos finitos y sobre intercambio de datos . [9]
Es miembro de la ACM , [5] miembro de la Royal Society of Edinburgh , [10] y miembro de la Academia Europaea. [3] Ganó premios al mejor artículo en el Simposio sobre principios de sistemas de bases de datos (ACM PODS) en 1999, 2003 y 2005, [11] en la Conferencia internacional sobre teoría de bases de datos (ICDT) en 2011 [12] y en los Principios de Conferencia sobre representación y razonamiento del conocimiento en 2014 y 2018. [13]
Libros
- Libkin, Leonid (2004). Elementos de la teoría de modelos finitos . Springer . ISBN 978-3-540-21202-7.
- Arenas, Marcelo; Barceló, Pablo; Libkin, Leonid; Murlak, Filip (2014). Fundamentos del intercambio de datos . Prensa de la Universidad de Cambridge . ISBN 9781107016163.
Referencias
- ^ a b c d Leonid Libkin en el Proyecto de genealogía de las matemáticas
- ^ "Leonid Libkin" . Royal Society . 2017 . Consultado el 9 de marzo de 2017 .
- ^ a b "Leonid Libkin" . Academia Europaea . 2012 . Consultado el 22 de febrero de 2016 .
- ^ "Becarios electos de 2012" . Real Sociedad de Edimburgo . 2012 . Consultado el 22 de febrero de 2016 .
- ^ a b "Becarios ACM" . ACM . Consultado el 23 de febrero de 2016 .
- ^ "XMLDATA" . Comisión Europea . 2007 . Consultado el 22 de febrero de 2016 .
- ^ a b "Cátedra de Fundamentos de la Gestión de Datos" . Universidad de Edimburgo, Escuela de Informática . Consultado el 8 de abril de 2015 .
- ^ "Directorio" . École normale supérieure, departamento de informática . Consultado el 13 de febrero de 2019 .
- ^ Publicaciones de Leonid Libkin indexadas por Google Scholar
- ^ "Profesor Leonid Libkin FRSE - La Real Sociedad de Edimburgo" . La Royal Society de Edimburgo . Consultado el 26 de junio de 2018 .
- ^ "Premios al Mejor Papel PODS" . Consultado el 29 de febrero de 2020 .
- ^ "Premios ICDT al Mejor Trabajo" . Consultado el 29 de febrero de 2020 .
- ^ "Premio Ray Reiter al Mejor Papel" . Consultado el 29 de febrero de 2020 .
enlaces externos
- Leonid Libkin en el servidor de bibliografía DBLP