Kartik Singhal

Kartik Singhal

PhD Student

University of Chicago

I am interested in the design and verification of programming languages for realistic quantum computing. See my homepage for more information.

  • Programming Languages
  • Quantum Computing
  • Computer Systems
  • Software Engineering
  • ScM in Computer Science, 2017

    Brown University

  • BTech in Computer Science and Engineering, 2013

    National Institute of Technology Calicut