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
-
Multimodal & Embodied Intelligence (S1), Panel on Multimodal AI: Progress, Pitfalls, Possibilities
- Madhava Krishna,
- Sriram Ganapathy,
- Somak Aditya
-
Session on Reasoning
- Hongxiang Fan,
- Nagarajan Natarajan
-
Session on Retrieval
- Lokesh Nagalapatti,
- Soumen Chakrabarti
-
-
-
-
-
-
-
Microsoft Research India - The lab culture
- P. Anandan,
- Indrani Medhi Thies,
- B. Ashok
