{"id":107560,"name":"Kartik Singhal","url":"","description":"Kartik is a PhD candidate in computer science at the University of Chicago. His research focuses on the design and semantics of programming languages and program verification for quantum computation. In recent work, he provided formal semantics for Q# while suggesting ways to improve its type system so that quantum programs do not fail at run time.\r\nHomepage: https:\/\/ks.cs.uchicago.edu","link":"https:\/\/devblogs.microsoft.com\/qsharp\/author\/kartiksinghalms\/","slug":"kartiksinghalms","avatar_urls":{"24":"https:\/\/devblogs.microsoft.com\/qsharp\/wp-content\/uploads\/sites\/28\/letter-avatar\/521d6d156ea86f3c7f478672a54a27ff.svg","48":"https:\/\/devblogs.microsoft.com\/qsharp\/wp-content\/uploads\/sites\/28\/letter-avatar\/719eb9da8a336a83a6316d63c7952522.svg","96":"https:\/\/devblogs.microsoft.com\/qsharp\/wp-content\/uploads\/sites\/28\/letter-avatar\/41974c6c6b12871f4cceb752e7117228.svg"},"meta":[],"acf":[],"mpp_avatar":{"24":"https:\/\/devblogs.microsoft.com\/qsharp\/wp-content\/uploads\/sites\/28\/2022\/12\/avatar-24x24.jpg","48":"https:\/\/devblogs.microsoft.com\/qsharp\/wp-content\/uploads\/sites\/28\/2022\/12\/avatar-48x48.jpg","96":"https:\/\/devblogs.microsoft.com\/qsharp\/wp-content\/uploads\/sites\/28\/2022\/12\/avatar-96x96.jpg","150":"https:\/\/devblogs.microsoft.com\/qsharp\/wp-content\/uploads\/sites\/28\/2022\/12\/avatar-150x150.jpg","300":"https:\/\/devblogs.microsoft.com\/qsharp\/wp-content\/uploads\/sites\/28\/2022\/12\/avatar-300x300.jpg","full":"https:\/\/devblogs.microsoft.com\/qsharp\/wp-content\/uploads\/sites\/28\/2022\/12\/avatar.jpg"},"_links":{"self":[{"href":"https:\/\/devblogs.microsoft.com\/qsharp\/wp-json\/wp\/v2\/users\/107560","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/devblogs.microsoft.com\/qsharp\/wp-json\/wp\/v2\/users"}]}}