Contributor biographical information for Elements of finite model theory / Leonid Libkin.
Bibliographic record and links to related information available from the Library of Congress catalog
Biographical text provided by the publisher (may be incomplete or contain other coding). The Library of Congress makes no claims as to the accuracy of the information provided, and will not maintain or otherwise edit/update the information supplied by the publisher.
d104>The author has been with the department of computer science at the University of Toronto since 2000. Prior to that, he was a researcher at Bell Laboratories, and he spent two years visiting INRIA in France. His research interests are in the areas of database theory and applications of logic in computer science.
He is coauthor/editor of:
Constraint DatabasesKuper, G., Libkin, L., Paredaens, J. (Eds.), 12.04.2000, ISBN 3-540-66151-4
Finite-Model Theory and Its ApplicationsGrädel, E., Kolaitis, P.G. (et al.), 07.2004, ISBN 3-540-00428-9
Semantics in DatabasesThalheim, B., Libkin, L. (Eds.), Vol. 1358, 25.02.1998, ISBN 3-540-64199-8
Library of Congress subject headings for this publication: