End of Internship Talks
- Perry Wang, Laure Thompson | Microsoft, Microsoft
End for Internship talks given by:
Perry Wang Title: “Low* and subset of F* that will compile down to C” Time : 10-10:45
Laure Thompson Title: “Spartan and proving implementations of cryptographic algorithms correct” Time : 10:45-11:30
-
-
Sreekanth Kannepalli
Principal Group Manager
-
-
Watch Next
-
-
Episode 3: Collaborating faster
- Jonathan M. Carlson,
- Will Guyman,
- Matthew Lungren
-
Episode 7: The road ahead
- Jonathan M. Carlson,
- Will Guyman,
- Matthew Lungren
-
-
Microsoft Research India - The lab culture
- P. Anandan,
- Indrani Medhi Thies,
- B. Ashok
-
-
-
