|
|
|
|
|
|
by huijzer
1353 days ago
|
|
|
As a great example of what "classical" computer science can do, take a look at the driverless metro introduced in Lille in 1983 [1]. Researchers in France have used formal systems to prove system correctness and this shows in the reliability and safety of the metro. I like to think that this is a better way to handle complex problems than to just throw data and algorithms against and hope that it will work correctly for new data. [1] https://en.m.wikipedia.org/wiki/Lille_Metro |
|
|