Formal methods people

Bernhard Steffen (* 31. Mai 1958 in Kiel , Westdeutschland ) ist ein deutscher Informatiker und Professor an der TU Dortmund .

Dana Stewart Scott (* 11. Oktober 1932) ist ein US-amerikanischer Logiker und emeritierter Hillman University Professor für Informatik , Philosophie und Mathematische Logik an der Carnegie Mellon University .

Er ist spezialisiert auf Forschung in den Bereichen Domänenentwicklung , Anforderungsanalyse und formale Methoden .

Donald T. Sannella ist Professor für Informatik im Laboratory for Foundations of Computer Science an der School of Informatics der Universität Edinburgh , Schottland.

Edsger Wybe Dijkstra ( / ˈd aɪ k s t rə / DYKE -strə ; Niederländisch : ⓘ (11. Mai 1930 – 6. August 2002) war ein niederländischerInformatiker,Programmierer,MathematikerundWissenschaftsjournalist.

Gerard J. Holzmann (geb. 1951) ist ein niederländisch-amerikanischer Informatiker und Forscher bei den Bell Labs und der NASA , der vor allem als Entwickler des SPIN-Modellprüfers bekannt ist .

Gordon David Plotkin (* 9. September 1946) ist ein theoretischer Informatiker an der School of Informatics der Universität Edinburgh .

Johannes Aldert „ Jan “ Bergstra (geb. 1951) ist ein niederländischer Informatiker.

John Charles Reynolds (1. Juni 1935 – 28. April 2013) war ein US-amerikanischer Informatiker .

John Vivian Tucker (* 4. Februar 1952) ist ein britischer Informatiker und Experte für Berechenbarkeitstheorie , auch bekannt als Rekursionstheorie .

Jonathan P. Bowen (* 14. März 1956) ist ein britischer Informatiker und emeritierter Professor an der London South Bank University . Sein Hauptbeitrag liegt im Bereich der formalen Methoden , insbesondere der Z-Notation .

Krzysztof R. Apt (* 26. Dezember 1949 in Katowice, Polen ) ist ein polnischer Informatiker. Er promovierte1974in Warschau in mathematischer Logik .

Maarten Herman van Emden (31. Dezember 1937 – 4. Januar 2023) war ein niederländisch-kanadischer Mathematiker und Informatiker, dessen Forschung auf dem Gebiet der Grundlagen der logischen Programmierung und der

Manfred Broy (geboren am 10. August 1949) ist ein deutscher Informatiker und emeritierter Professor am Lehrstuhl für Informatik der Technischen Universität München , Garching , Deutschland .

Michael Genesereth (geb. 1948) ist ein US-amerikanischer Logiker und Informatiker , der vor allem für seine Arbeiten zur Computerlogik und deren Anwendungen in der Unternehmensführung , im computergestützten Recht und in

Niklaus Emil Wirth ( IPA : / vɛrt / ) (15. Februar 1934 – 1. Januar 2024) war ein Schweizer Informatiker .

Philip Lee Wadler (* 8. April 1956) ist ein in Großbritannien lebender US- amerikanischer Informatiker, der für seine Beiträge zum Entwurf von Programmiersprachen und zur Typentheorie bekannt ist .

Rajeev Alur ist ein amerikanischer Professor für Informatik an der University of Pennsylvania , der Beiträge zu formalen Methoden , Programmiersprachen und Automatentheorie geleistet hat , insbesondere zur Einführung von

Robert Anthony Kowalski (* 15. Mai 1941) ist ein amerikanisch-britischer Logiker und Informatiker , dessen Forschung sich mit der Entwicklung sowohl nutzerorientierter Computermodelle als auch computergestützter Modelle

Arthur John Robin Gorell Milner (13. Januar 1934 – 20. März 2010) war ein britischer Informatiker und Gewinner des ACM Turing Award 1991.

Samson Abramsky (* 12. März 1953) ist ein britischer Informatiker und Professor für Informatik am University College London .