Kartik Singhal

Orcid: 0000-0003-1132-269X

Affiliations:

University of Chicago, Chicago, IL, USA

According to our database¹, Kartik Singhal authored at least 6 papers between 2020 and 2022.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2022

Q# as a Quantum Algorithmic Language.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 19th International Conference on Quantum Physics and Logic, 2022

2021

Static Analysis of Quantum Programs via Gottesman Types.

[BibT_eX]

[DOI]

CoRR, 2021

2020

Quantum Hoare Type Theory: Extended Abstract.

[BibT_eX]

[DOI]

Kartik Singhal

John H. Reppy

Proceedings of the Proceedings 17th International Conference on Quantum Physics and Logic, 2020

Gottesman Types for Quantum Programs.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 17th International Conference on Quantum Physics and Logic, 2020

Quantum Hoare Type Theory.

[BibT_eX]

[DOI]

Kartik Singhal

CoRR, 2020

Initial Learning Trajectories for K-12 Quantum Computing.

[BibT_eX]

[DOI]

Proceedings of the 51st ACM Technical Symposium on Computer Science Education, 2020

Kartik Singhal

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...