Gordon Plotkin

tipo de documento Article Wikipedia Científico

Equipo Didactalia

M'agrada 0
Visites 32
Comentaris 0
Desar a
Accions
- Enviar enllaç

Sobre aquest recurs...

Gordon Plotkin

Científico

Artículo WikipediaFuente Dbpedia

Gordon David Plotkin (* 9. September 1946 in Glasgow) ist ein britischer theoretischer Informatiker.Plotkin studierte an der Universität Glasgow und der University of Edinburgh mit dem Bachelor-Abschluss 1967 und der Promotion in Informatik bei Rodney Burstall (* 1934) 1972 (Automatic methods of inductive inference). Er wurde Professor in Edinburgh, wo er mit Burstall und Robin Milner das Labor für Grundlagen der Informatik (Laboratory for Foundations of Computer Science, LFCS) gründete.Er ist für die Einführung der Strukturellen Operationellen Semantik (SOS, auch Small Step Semantics) in die Theorie der Programmiersprachen bekannt. Er befasst sich auch mit denotationeller Semantik, Typentheorie, Domänen-theoretische und kategorientheoretische Analyse in der Informatik, allgemeiner Beweistheorie, Semantik natürlicher Sprachen, Prozess-Kalküle und computergestützten Modellen in der Biologie und Chemie.Für 2014 erhielt er den EATCS-Award. Er ist Fellow der Royal Society (1992), Fellow der Royal Society of Edinburgh und Mitglied der Academia Europaea. Er erhielt den Wolfson Research Merit Award und den Milner Award der Royal Society.