Merge pull request #592 from KallieFerguson/patch-69

Update 2023_quarc.md

src/content/blog/2023_quarc.md

@@ -4,6 +4,9 @@ author: Christoph Kirsch and Stefanie Muroya Lei
 day: 3
 month: 2
 year: 2023
+tags:
+- Guest Post
+- Microgrant
 ---
 
 Bounded Model Checking (BMC) is a well-established technique used to ensure the correctness of critical software. Some examples are verifying properties of software systems and malware detection. However BMC techniques do not generally scale. Thereafter, the aim of our project is to develop a compiler that encodes efficiently classical programs so that quantum computers can help accelerating bounded model checking even in the NISQ-era.
@@ -38,4 +41,4 @@ Finally, QUARC has helped us explain concepts such as unitary matrices, oracles,
 
 We thank very much Unitary Fund for their support. The grant allowed us to push further QUARC, which was initially only in our TO-DO list. The grant motivated us to do even more than was expected since we ended developing an algorithm that reduced substantially the number of ancillae that the final quantum program requires.
 
-The unicorn team.
+The unicorn team.