Ewing Lusk, born in 1943 in the United States, is a distinguished computer scientist renowned for his contributions to the field of logic programming. With a focus on formal methods and computational logic, Lusk has been influential in advancing the theoretical foundations and practical applications of logic programming languages. His work has significantly shaped the development of logic-based approaches to programming and artificial intelligence.