Personal profile


Achiya Elyasaf is a faculty at the Software and Information Systems Engineering Department, Ben-Gurion University (BGU), Israel. He received his academic degrees from BGU, all in computer science, and was a postdoc fellow in David Harel’s group at the Weizmann Institute. In 2021, he co-founded Provengo Technologies, which provides software-testing solutions based on his expertise in software engineering (SE) and artificial intelligence (AI). In his current research, Dr. Elyasaf seeks new synergies between SE and AI to improve their interoperability and contribute to both.

Dr. Elyasaf developed Context-Oriented Behavioral Programming, a novel paradigm for developing context-aware systems centered on a natural and incremental specification of behaviors. He also developed an approach for utilizing AI and expert knowledge to generate solvers for combinatorial games. This work was recognized as one of the most important achievements of AI in games, alongside famous achievements, such as Deep-Blue’s win over Kasparov and Watson’s in Jeopardy! (N. Bostrom, 2014. “Superintelligence: Paths, Dangers, Strategies”).

Dr. Elyasaf won several prizes, including three HUMIE Awards, produced by the Genetic and Evolutionary Computation (Gold, 2013; Gold, 2011; Bronze, 2009).

Roles and Responsibilities

Chairman of Meitar Program

Research interests

Software Engineering, Behavioral Programming, Evolutionary Algorithms

Expertise related to UN Sustainable Development Goals

In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):

  • SDG 17 - Partnerships for the Goals


  • QA76 Computer software
  • Software Engineering
  • Behavior Programming
  • Context-Oriented Programming
  • QA75 Electronic computers. Computer science
  • Artificial Intelligence
  • Genetic Algorithms
  • Genetic Programming
  • Evolutionary Algorithms


Dive into the research topics where Achiya Elyasaf is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or