|
|
|
|
|
|
by chrispeel
2793 days ago
|
|
|
Mykel Kochenderfer is a coauthor on the book and the PhD advisor to Tim. The video [1] below describes how Kochenderfer came to be using Julia (it's faster than Python, and has an AST that the formal verification guys like). [1] http://www.youtube.com/watch?v=rj-WhTL_VXE&t=16m9s |
|
|