レオニード・リブキン

レオニード・リブキン（1965年9月28日生まれ）は、データ管理、特にデータベース理論、およびコンピュータ科学における論理学を専門とするコンピュータ科学者である。

リブキンはエディンバラ大学の教授であり、情報学部でデータ管理の基礎講座の主任を務めている。^{[ 7 ]} 彼は以前、ベル研究所、トロント大学、パリの高等師範学校で働いていた。^{[ 7 ]}

リブキンは、有限モデル理論とデータ交換に関する標準的な教科書の著者である。^{[ 8 ]}

彼はACMフェロー^{[ 5 ]}、エジンバラ王立協会フェロー[ ⁹^]^、およびアカデミア・エウロパエアの会員である。^{[ 3 ]}彼は、1999 年、2003 年、2005 年のデータベースシステム原理シンポジウム(ACM PODS)で最優秀論文賞を受賞し、 ^{[ 10 ]} 2011 年の国際データベース理論会議(ICDT)で、 ^{[ 11 ]} 2014 年と 2018 年の知識表現と推論の原理会議で、^{[ 12} ] 2023 年のACM SIGMOD会議 (産業トラック) で、^{[ 13 ]}^2023年^のICDT で時間の試練賞を受賞しました。^{[ 11 ]} 彼は、2005 年の ICDT、^{[ 11 ]} 2007 年の PODS ^{[ 10 ]}および 2021 年の ACM-IEEEコンピュータサイエンスにおける論理シンポジウム(LICS)のプログラム委員長を務めました。 ^{[ 14 ]}

本

リブキン、レオニード（2004）。有限モデル理論の基礎。シュプリンガー。ISBN 978-3-540-21202-7。
クーパー、ガブリエル；リブキン、レオニード；パレダエンス、ヤン（2010）。制約データベース。スプリンガー。ISBN 978-3-642-08542-0。
アレナス、マルセロ。バルセロ、パブロ。リブキン、レオニード。フィリップ・ムラック（2014）。データ交換の基礎。ケンブリッジ大学出版局。ISBN 9781107016163。