David Clarke (professor)

David Clarke is a computer science professor known for his research in the areas of software engineering, formal methods, and programming languages. He is currently a professor at Carnegie Mellon University's School of Computer Science.

Clarke's work focuses on developing techniques for improving the reliability and security of software systems. He has made significant contributions to the development of ownership types, information flow control, and program verification methods. His research often involves applying formal methods to analyze and reason about the behavior of complex software.

Clarke's research has been supported by various funding agencies, including the National Science Foundation (NSF) and the Air Force Office of Scientific Research (AFOSR). He has published extensively in top-tier computer science conferences and journals. He also actively participates in the software engineering research community, serving on program committees and editorial boards.