Climbing Mount Everest of computer programmin : vimarsana.co

Aleks Nanevski, research at IMDEA Software, has dedicated his life to solving one of the biggest computer science challenges, taking a long and risky road towards revolutionizing how we think about programming in general, and concurrent programming specifically.

Related Keywords

Macedonia , Cambridge , Cambridgeshire , United Kingdom , Madrid , Spain , France , French , Aleks Nanevski , European Union Horizon , Harvard University , European Research Council , Carnegie Mellon University , Microsoft Research In Cambridge , Proof Structures For Concurrent Software Verification , Software Institute , Microsoft Research , Proof Structures , Concurrent Software , European Union , Separation Logic , Artificial Intelligence ,