Personne
Sankalp Gambhir
Cette personne a quitté l’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.
Cette personne a quitté l’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.
Veuillez noter qu'il ne s'agit pas d'une liste complète des publications de cette personne. Elle inclut uniquement les travaux sémantiquement pertinents. Pour une liste complète, veuillez consulter Infoscience.
Viktor Kuncak, Simon Guilloud, Sankalp Gambhir
Viktor Kuncak, Simon Guilloud, Sankalp Gambhir
Viktor Kuncak, Simon Guilloud, Sankalp Gambhir