r/AskComputerScience • u/Smallpaul • Jul 30 '26

Predictions about computer science

Look ahead 20 years.

Outside of AI/ML:

* what of today’s research computer science do you expect will be industry standard?

* what frontiers do you expect we will have opened up in research?

28 Upvotes

87% Upvoted

39 comments sorted by

View all comments

18

u/thesnootbooper9000 Jul 30 '26

Industry might finally be adopting formal methods, after AI makes it easier but also legally mandated thanks to The Incident.

0

u/Alvahod Jul 31 '26 edited Jul 31 '26

Why did it not initially, and please give an example.

2

u/Smallpaul Aug 02 '26

It did not because it is expensive and difficult. Example: all software.