David Harel is a prominent computer scientist known for his contributions to several areas in computer science, particularly in theoretical computer science, software engineering, and the design of programming languages. He is best known for his work on state machines, model checking, and formal methods. One of Harel's key contributions is the development of the Harel State Chart technique, which extends Finite State Machines and is widely used for modeling complex systems.
New to topics? Read the docs here!