diff --git a/src/content/blog/2023_quarc.md b/src/content/blog/2023_quarc.md
index 5b0e9abe..5a37f541 100644
--- a/src/content/blog/2023_quarc.md
+++ b/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.
\ No newline at end of file
+The unicorn team.