Person
Sankalp Gambhir
This person has left EPFL
Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.
Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.
This person has left EPFL
Expertise My current research revolves around proof assistants and program verification. I often find myself distracted by related topics in verification, synthesis, and logic as well. I have briefly worked in quantum information theory as part of my bachelor's thesis before.I am currently working primarily on the LISA proof assistant, writing proofs, and thinking about programs. Always happy to chat about computer science, maths, or physics! I am a doctoral assistant at EPFL working with Prof. Viktor KunÄak. I obtained my Bachelor's degree in Engineering Physics at the Indian Institute of Technology, Bombay.
Please note that this is not a complete list of this person’s publications. It includes only semantically relevant works. For a full list, please refer to Infoscience.
Viktor Kuncak, Simon Guilloud, Sankalp Gambhir
Viktor Kuncak, Simon Guilloud, Sankalp Gambhir
Viktor Kuncak, Simon Guilloud, Sankalp Gambhir