Abstract
David Harel says a new generation of autonomous systems is on the horizon, and the world may not be prepared. Harel’s concern underscores the need to rapidly develop better means of designing and testing such systems. Harel, a computer scientist at the Weizmann Institute of Science in Israel, was elected as a foreign associate of the National Academy of Sciences in 2019. His early interest in mathematics and linguistics led him to a career inventing computer languages and their underlying methodologies, with an eye toward the natural and intuitive. His work has resulted in languages such as Statecharts and Live Sequence Charts. In his Inaugural Article (1), Harel and his colleagues lay out principles that they believe should guide the design of trustworthy future-generation autonomous systems, embodied in the term “Autonomics foundation.” David Harel. Image credit: Weizmann Institute of Science. > PNAS:Early in your career you shifted from computer science theory to computer languages and software engineering. How does that shift tie into the proposal you make in your Inaugural Article (1) for an Autonomics foundation? > Harel:In 1984 I did some consulting for a very complex avionics system in the Israel aircraft industry. I got hooked on what I …
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
