English Kenneth L. McMillan Cited by user Citation bot on 25 Dec 2023 Kenneth L. McMillan is an American computer scientist working in the area of formal methods, logic, and programming languages.