Template:Selected anniversaries/April 22: Difference between revisions

From Gnomon Chronicles
Jump to navigation Jump to search
No edit summary
No edit summary
Line 59: Line 59:


||1941: Amir Pnueli born ... computer scientist and the 1996 Turing Award recipient.  He worked on temporal logic and model checking, particularly regarding fairness properties of concurrent systems. Pic.  
||1941: Amir Pnueli born ... computer scientist and the 1996 Turing Award recipient.  He worked on temporal logic and model checking, particularly regarding fairness properties of concurrent systems. Pic.  
||1942: Harry Kauper born ... aviation and radio engineer, known for designing the Sopwith-Kauper interrupter mechanism and for his work developing radio broadcasting in Australia. Pic search yes: https://www.google.com/search?q=Harry+Kauper


||1944: The 1st Air Commando Group using Sikorsky R-4 helicopters stage the first use of helicopters in combat with combat search and rescue operations in the China Burma India Theater.
||1944: The 1st Air Commando Group using Sikorsky R-4 helicopters stage the first use of helicopters in combat with combat search and rescue operations in the China Burma India Theater.

Revision as of 10:54, 18 April 2019