Robert Moss
Robert Moss just received his Ph.D. in computer science from Stanford University where his thesis studied algorithms for safe planning under uncertainty using surrogate models. Robert was an associate staff member at MIT Lincoln Laboratory where he was on the team that designed, developed, and validated the next-generation aircraft collision avoidance system (ACAS X) for commercial aircraft, unmanned vehicles, and rotorcraft. Robert has been a Julia user since 2013 and led the use of Julia as the specification language for ACAS X.
Session
In three recent textbooks on optimization, decision-making, and safety validation, we use Julia instead of pseudocode to present fully executable and concise algorithm descriptions. This talk explores why we chose Julia and how we auto-generate entire textbooks using Julia and LaTeX. We will also discuss how Julia and Pluto support interactive learning and automate grading in Stanford graduate courses—along with exploring Julia's potential future roles in academia.