Robert W. Floyd

for having a clear influence on methodologies for the creation of efficient and reliable software, and for helping to found the following important subfields of computer science: the theory of parsing, the semantics of programming languages, automatic program verification, automatic program synthesis, and analysis of algorithms

情報科学

ChatGPT ↗ Perplexity ↗ Brave ↗ Wikipedia ↗ OpenAlex ↗