My husband Qiang (John) is working on NLP. Check out his webpage.
An useful Latex hand-writing Recognation website.
Useful tips for academy job hunting can be found here.
Using finite number of simulations cannot give any safety guarantee.
A simulation-driven verification algorithm: simulate-bloat-check-refine. The green tubes are safe and grey tubes are suspicious.
Using finite number of simulations may help find bugs in a brutal force way.
The same simulation-driven verification algorithm can also help find bugs.