Added new Research page

config.yaml

@@ -27,9 +27,13 @@ menu:
       url: "work/"
       weight: 5
 
+    - name: Research
+      url: "research/"
+      weight: 6
+
     - name: About
       url: "about/"
-      weight: 6
+      weight: 7
 
 params:
   footer: "[![](/banners/crxn_insane.png)](https://redxen.eu) [![](/banners/crxn_gang.png)](/projects/crxn) [![](/banners/redxen_animated.gif)](https://redxen.eu)"

content/research/_index.md

@@ -0,0 +1,23 @@
+---
+title: Research
+---
+
+My research and development project that I worked on during my honours year of 2022 was on the topic of _"Explicit sequencing of C programs"_ whereby I looked
+at ways to improve the current state of **Software Verification** in [Lazy-CSeq]() with regards to the underspecified evaluation ordering of function
+arguments and binary operators in the C programming language. The transformation module was written in Python2 (as is standard with CSeq).
+
+## Report
+
+Below is the copy of the written report of my work.
+
+{{<bruh>}}
+<iframe src="/blobs/research/report.pdf"></iframe>
+{{</bruh>}}
+
+## Presentation
+
+On the day of presentation these slides were used to illustrate what my project was about, the implementation and the findings from the benchmarking procedure.
+
+{{<bruh>}}
+<iframe src="/blobs/research/presentation.pdf"></iframe>
+{{</bruh>}}