Building robust and secure software in Rust
I combine PL and HCI to build the next generation of developer tools, from novel interfaces for AI code validation, to new synthesis techniques. And I'm looking for research and research engineering positions. Please get in touch!
I combine PL and HCI to build the next generation of developer tools, from novel interfaces for AI code validation, to new synthesis techniques. And I'm looking for research and research engineering positions. Please get in touch!
www.microsoft.com/en-us/resear...
www.microsoft.com/en-us/resear...