💻🧑‍🔬🧠

#microsoft research #msr #computer science #tech lab #AI Research

🇫⭐💻✅

#f #fstar language #formal verification #microsoft research #functional programming