 Michael A. Jackson (computer scientist)

Michael A. Jackson is a prominent computer scientist known for his contributions to software engineering, particularly in the areas of software development methodologies and formal methods. He is widely recognized for developing the Jackson system development method (JSD), which provides a structured approach to software design and relates closely to the concepts of data flow and process modeling. Jackson has also made significant contributions in areas such as requirements engineering and program specification.