Rachel Muir
I am a PhD student at the University of Kent, supervised by Prof. Mark Batty and Dr. Michael Vollmer. My research focuses on type systems, operational semantics, theorem proving and mechanisation of proofs in Rocq.
My other interests include electronics, model making (planes, cars and motorbikes), working on my car (often not by choice, thanks car) and gaming. You can read more about some of my projects in my blog!
2024
Home-made Induction Loop Receiver
Published:
This is a placeholder for a post on my home-made induction loop receiver. TLDR: I designed and made a small PCB that can pick up the magnetic field generated by an induction loop. This required amplification to be able to hear the signal.
MDX-20 — Foam Mill Turned PCB Mill
Published:
This is yet to be written - but should be done soon. TLDR: I turned an old, broken MDX-20 into a PCB Milling machine with features such as conductive height mapping and the ability to cut two-sided PCBs.