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.