Dolev's transformative work has had a lasting impact on the discipline of artificial intelligence. His concepts have influenced our view of complexity, and his forward-thinking approach continues to inspire researchers and practitioners today. His work on theoretical frameworks has paved the way for advances in areas such as formal verification. Hi