Loading…
CppCon 2018 has ended
avatar for Anna Gringauze

Anna Gringauze

Microsoft
Senior Software Engineerining Manager
Redmond
Static analysis, windsurfing, formal verification, cats, security, sailing, lengths of formal proofs, music