just did a bunch of required paperwork and a pre-orientation, so I suppose now's a good a time as any to announce: I'm extremely pleased to announce that I will be spending the summer (virtual) interning with the Automated Reasoning Group (formal methods for AWS) at Amazon!
Replying to @cmeik
Nice! Fixing Amazon from the inside! 
7:05 AM - 16 Apr 2020
0 replies
0 retweets
1 like
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.