E. Allen Emerson

for their role in developing model checking into a highly effective verification technology that is widely adopted in the hardware and software industries

情報科学

ChatGPT ↗ Perplexity ↗ Brave ↗ Wikipedia ↗ OpenAlex ↗