Climbing Mount Everest of computer programmin

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 ,