27 Nov 2017 Here are the slides of the invited talk "Understanding Computation via Computation" that I gave yesterday... Here are the…
Jari Juslin, 23 Apr 2013 Here is our recent work, in which we are using computers to replace computer scientists. More precisely... Here is our recent…