Reorg blurb; typo

Author: kai-e

ReadMe.md

@@ -11,27 +11,28 @@ As a verification architect I
 This often means I do things somewhat differently. If that is the case and the cost/benefit trade-off looks promising, I help with educating engineers how to do things differently, too.
 
 
-### pub
+### Pubs
 
 See
 [google scholar](https://scholar.google.com/citations?user=U0CkrxkAAAAJ&hl=en),
 [dblp](https://dblp.uni-trier.de/pid/54/1933.html), or my [local list](pubs/kai-e-pubs.html).
 
-### code
-
-tba (currently my recent work is sequestered in [ARM](https://www.arm.com), [QualComm](https://www.qualcomm.com), or [Ghost Automony](https://www.ghostautonomy.com) IP)
-
-### misc
-
-**News 2023/05/03:** The 2022 iteration of the [ACM Software System Award](https://awards.acm.org/software-system) goes to our team of authors of [seL4: formal verification of an OS kernel](https://doi.org/10.1145/1629575.1629596).
-
 Recent presentations include
 - "Update on the adoption of synchronous languages at gh.st", Synchron 2020, [slides](http://synchron2020.inria.fr/slides/thu_0900_engelhardt.pdf)
 - "Adventures in Verification Land for Glorified Ring Buffers", Synchron 2021, [slides](http://synchron2021.inria.fr/slides/synchron2021-engelhardt-1.pdf)
 - "Neural Net Validation - classical CS and high school maths to the rescue", Synchron 2021, [slides](http://synchron2021.inria.fr/slides/synchron2021-engelhardt-0.pdf)
 
 Errata for the data refinement book: [pdf](pubs/dRE1998/errata.pdf).
 
+
+### Specs/Code/Proofs
+
+tba (currently my recent work is sequestered in [ARM](https://www.arm.com), [QualComm](https://www.qualcomm.com), or [Ghost Autonomy](https://www.ghostautonomy.com) IP)
+
+### Misc
+
+**News 2023/05/03:** The 2022 iteration of the [ACM Software System Award](https://awards.acm.org/software-system) goes to our team of authors of [seL4: formal verification of an OS kernel](https://doi.org/10.1145/1629575.1629596).
+
 [Formalisations and proofs](misc/PVS/) of problems, e.g., from the "100 list" in [PVS](https://pvs.csl.sri.com/index.html).
 
 **News 2023/04/03:** [Build instructions for PVS on ARM Macs](misc/PVS/ARMbuild/).