Kartik

Quantum Compiler Engineer

Biography

I am a Quantum Compiler Engineer at Quantinuum. I was a PhD student at UChicago CS between September 2017 and March 2023 working with Robert Rand and Fred Chong on Design and Semantics of Programming Languages and Program Verification for Quantum Computing as part of EPiQC (Enabling Practical-scale Quantum Computation), an NSF Expedition in Computing.

Interests

Programming Languages
Software Engineering
Quantum Computation
Computer Systems

Education

PhD (ABD) in Computer Science

University of Chicago
(Transitional) MS, CS: PL & Quantum, 2020

University of Chicago
ScM, Computer Science: Systems, 2017

Brown University
BTech, Computer Science & Engineering, 2013

National Institute of Technology Calicut

Recent News

2024

Jun 11: Officially withdrawn from UChicago.
Jan 20: Quantinuum’s quantum PL Guppy: Pythonic Quantum-Classical Programming was presented by Mark at PLanQC 2024.

2023

Nov 15: QPL 2022 proceedings are out, see the official version of Q# as a Quantum Algorithmic Language paper.
Apr 3: Started working as a Quantum Compiler Engineer at Quantinuum.

See the News Archive for older news.

Recent Publications

Mark Koch, Alan Lawrence, Kartik Singhal, Seyon Sivarajah, Ross Duncan (2024). Guppy: Pythonic Quantum-Classical Programming. PLanQC 2024.

PDF Cite Code Video Venue

Aarthi Sundaram, Robert Rand, Kartik Singhal, Brad Lackey (2022). Hoare meets Heisenberg: A Lightweight Logic for Quantum Programs.

PDF Cite Poster arXiv

Kartik Singhal, Robert Rand, Matthew Amy (2022). Beyond Separation: Toward a Specification Language for Modular Reasoning about Quantum Programs. PLanQC 2022: Poster.

PDF Poster Venue

Kartik Singhal, Kesha Hietala, Sarah Marshall, Robert Rand (2022). Q# as a Quantum Algorithmic Language. QPL 2022.

PDF Cite Code Project Slides Video DOI arXiv

Kartik Singhal, Sarah Marshall, Kesha Hietala, Robert Rand (2021). Toward a Type-Theoretic Interpretation of Q#. PLanQC 2021.

PDF Cite Project Slides Video Venue

See all publications

Service

Peer Review

Program Committee: QCE 2024 – Quantum System Software (QSYS) track
Subreviewer: CONCUR 2023
External Review / Artifact Evaluation Committee: OOPSLA 2023
Artifact Evaluation Committee: POPL 2023, 2021
External Reviewer: ESOP 2022
Subreviewer: LICS 2021
Journal(s): ACM Transactions on Quantum Computing

Long-Term Mentoring with SIGPLAN-M

2022–23: Mentoring two students since SPLASH 2022.
2021–22: Mentored three students starting PLDI ‘21/POPL ‘22.
2020–21: Mentored two students starting ICFP ‘20.

Student Volunteer

PLDI 2020, London (Online)
Programming Language Design and Implementation (PLDI) 2019, Phoenix, Arizona
International Conference on Functional Programming (ICFP) 2018, St. Louis, Missouri
Symposium on Principles of Programming Languages (POPL) 2016, St. Petersburg, Florida

Misc

2022–23: Student Member, University of Chicago Student Technology Advisory Group (Graduate)
2020–21: Faculty-Grad Liaison (FGL), Department of Computer Science, University of Chicago
2019–21: Computer Science Department Representative, PSD Deans’ Student Advisory Committee (DSAC), University of Chicago
2018–20: Minister of Infrastructure, Department of Computer Science, University of Chicago
2017–19: Physical Sciences Division Representative, Graduate Council, University of Chicago
2015–17: Computer Science Department Representative (Masters), Graduate Student Council, Brown University
2012–13: Secretary, Computer Science and Engineering Association (CSEA), NIT Calicut