Leslie Lamport immediately comes to mind. His work extending predicate transformers for concurrency[1] is a good example. Edit: Tony Hoare isn't a successor, b

Leslie Lamport immediately comes to mind. His work extending predicate transformers for concurrency[1] is a good example. Edit: Tony Hoare isn't a successor, but he's a living genius who shares many of Dijkstra's inclinations. [1] https://lamport.azurewebsites.net/pubs/lamport-win.pdf https://lamport.azurewebsites.net/pubs/lamport-win.pdf