principal engineer - amazon robotics - autonomy

Joined March 2012
2 Photos and videos
Pinned Tweet
Proteus uses several local perception techniques and sensing modalities to bridge the order-of-magnitude gap between Global SLAM and Precision Anchors. #proteus #amazon #robotics #precision #autonomy #lightning #talks
1
1
1
Proteus uses several local perception techniques and sensing modalities to bridge the order-of-magnitude gap between Global SLAM and Precision Anchors. #proteus #amazon #robotics #precision #autonomy #lightning #talks
1
1
1
Honored to represent the brilliant team who made this technology possible through their combination of wide ranging expertise, hard work, and tight collaboration. #Proteus m.youtube.com/watch?v=0Hd9nZ…
4
John Enright retweeted
Thrilled to release Theseus, a library to build custom nonlinear optimization layers in PyTorch. sites.google.com/view/theseu… Nonlinear least squares is at the heart of many robotics and vision problems. Now we can add such structures in our end-to-end architectures.
11
198
1,263
John Enright retweeted
Check out our recent paper on unifying SDP relaxations for ReLU neural network verification by providing an exact convex formulation: proceedings.mlr.press/v151/b… With @robin_a_brown @NavidAzizan @StanfordASL

Can we verify the safety of a deep neural network for deployment in safety-critical settings? This is a non-convex problem in general, and there have been many existing relaxations constructed for it. 1/2
1
13
i'm gonna start tweeting now at the #cloudrobotics workshop at drexel university in philly, sponsored by NRI