Users following PlanetaryRobotics
wenlong
aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
Ibrahima S. Sow
Ibrassow
Autopilot @ Tesla, prev. MSc @ CMU |
Playing with things that move fast, burn hard, and think smart
Still on Earth