Re:Ask HN: Compiler Engineers, what would you advise new gra...
by 314 on Monday September 09, 2019 @04:15AM
(#20916148)
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.
[ Parent
| on HN ]
Re:Ask HN: Compiler Engineers, what would you advise new gra...
by saurabh20n on Monday September 09, 2019 @04:25AM
(#20916195)
Thanks for the very kind words. Email me directly / watch our blog. We'll be releasing some new results this week.