4 ms·
Your PhD is insanely impressive :) Ras' work on Program Sketching is stellar. Your new company looks very exciting. Hope your hiring goes well, it will be fun t
by 314 7y ago
Your PhD is insanely impressive :) Ras' work on Program Sketching is stellar. Your new company looks very exciting. Hope your hiring goes well, it will be fun to see what kinds of verification you can do on smart contracts.
- saurabh20n 7y agoThanks for the very kind words. Email me directly / watch our blog. We'll be releasing some new results this week.
- 314 7y agoI've just followed @_syntheticminds on twitter. Looking forward to reading what you've been up to.