“in chemistry and then chemistry is a formal system. So I…” — Software Engineering Daily at 33:55
“in chemistry and then chemistry is a formal system. So I think in some applications there's if there's a formalism hiding down somewhere, then there's probably something we can do using this but yeah I mean for me it's a mathematics or reasoning about correctness of programs or using policies or security.”
0:00
50:29