Greater Manchester, England · open to opportunities
I build low-level systems and the mathematics behind them.
I'm Faris, a systems developer and self-proclaimed mathematician. I'm building planckOS, a
from-scratch x86_64 operating system, and Plasma, the quantum language and
deterministic simulator that runs inside it. I start a Mathematics degree in 2027.
Most of my work sits close to the metal: bare-metal firmware, bootloaders, kernels,
fixed-point arithmetic, and deterministic simulation. Away from the kernel, I play
competitive Minecraft 1.8.9 PvP and moderate for
Voxyl Network.
I also build small exact maths tools for A-level and undergraduate study.
See the work
Open the lab
Get in touch
lab.faris0x.dev
Maths tools that show the working.
Exact work, written out line by line. Everything runs in your browser, and each tool can
export its full solution in for your
notetaking. Simplex and Big-M tableaus, matrix reduction, complex numbers with an
Argand diagram, truth tables, graph algorithms, a floating-point toolkit, and Boolean
simplification.
Open the lab →
02Experience
-
Aug 2026
Placement Accurail
England
Day placement at Accurail, a web and mobile platform for planning and managing Safe Work
Packs in the rail industry, keeping them compliant with the latest regulations.
- Worked on UX for the Accurail platform
- Learned about the work environment and how a product team operates day to day
- Gained insight into rail safety compliance and SWP workflows
-
Jul 2026
Work Experience Discover Tech
University Academy 92, Manchester, England
Two-day technology work experience programme with professionals from IBM, Accenture,
Cisco, Siemens, BBC, Softcat, CDW, and Network Rail.
- Spoke with employers about degree apprenticeships, applications and the skills they value
- Completed a hands-on cybersecurity workshop on phishing identification, malware recognition, and a Caesar cipher challenge
- Designed and presented an AI chatbot concept for healthcare with Siemens, developing teamwork and presentation skills
-
Apr 2026 – Aug 2026
Lead Researcher University of Manchester · Manchester Access Programme
Manchester, England
Supervised research project investigating how AI systems are reshaping security in the
modern world.
- Investigating how publicly accessible large language models can be exploited for phishing, malware development, and social engineering
- Analysing the role of AI in defensive security, including threat detection, network monitoring, and automated vulnerability assessment
- Building academic research, technical writing, and critical analysis skills
-
Feb 2025
Work Experience Cisco Systems UK & Ireland
Manchester, England
One-week work experience across Cisco's technology and business functions.
- Dragon's Den–style pitch project presenting an inclusive technology concept to Cisco
- Attended meetings alongside Sarah Walker, CEO Cisco UK & Ireland
- Learned about workplace dynamics, career development, and Cisco Networking Academy
-
Oct 2024 – Nov 2024
Repair Technician Hitec Computers
Stockport, Greater Manchester, England
Assisted and led diagnostics and repair of customer devices and electronics.
- Diagnosed and repaired customer hardware, developing practical technical skills
- Documented financial transactions and service records accurately
- Communicated diagnostic findings clearly to customers and handled technical inquiries
03Projects
Things I'm building because I want to understand the bottom of the stack, starting with Plasma,
the quantum language, and the operating system that ships it.
A high-level quantum computing language and deterministic statevector simulator, designed
for planckOS. Line-based assembly-like syntax, reproducible output per seed, and backends
from a reference interpreter to Clifford stabilizer, MPS, and a PTX-only CUDA path.
2026
A Rust-based quantum simulation OS being built entirely from scratch: custom MBR and loader,
64-bit kernel, FAT32 driver, SMP, and a REPL shell, with Plasma shipped on every release.
2026
Bare-metal scientific calculator firmware for the ARM Cortex-M3 in Rust #![no_std], with no
OS, no allocator, and no standard library, plus a deterministic Q31.32 fixed-point math engine.
2025
A from-scratch mathematical platform for symbolic algebra, exact calculus, and N-dimensional
graphing, written in zero-dependency Rust. A FOSS alternative to Mathematica, WIP.
2026
A terminal-based LaTeX editor with Micro-like editing, asynchronous pdflatex compilation,
Zathura preview, and syntax highlighting.
2026
A statistical anti-cheat for Minecraft using the G-test of goodness-of-fit to catch what
thresholds miss, with self vs world baselines, ping-bucketed, and self-calibrating.
2026
Led development of a cross-platform Minecraft server supporting Java, Bedrock, and console
editions, with backend systems, infrastructure, and moderation in production.
2024
A terminal Qur'an reader and player written in Rust, with chapter navigation, recitation
playback, and a keyboard-driven interface built around ratatui.
2026
04Open Source
Smaller tools, themes, and public code I maintain on GitHub. Most of these started because
I wanted a workflow or a system to feel a little more like mine.
05Research
-
2026 – Present
Invariant Detection: A Theory of Cross-Packet Invariants
Ongoing research developing a theory of invariant detection and cumulative residuals,
with a synthetic Minecraft anti-cheat experiment and the mc-trace/v1 trace toolkit.
The work includes a manuscript, an R experiment, and a trace specification.
-
Apr 2026 – Aug 2026
AI Systems and Security
Supervised research under the University of Manchester's Manchester Access Programme.
It asks how publicly accessible large language models can be exploited for cybercrime
such as phishing, malware development, and social engineering, and whether the same models
are becoming the most effective defensive tool available, from threat detection to automated
vulnerability assessment.
06Education & Odds and Ends
-
2027 – 2030
BSc Mathematics
University, starting Sep 2027
Studying Mathematics at university from next year.
-
2025 – 2027
A-Levels: Computer Science, Mathematics, Further Mathematics
Manchester, England
Predicted A in Computer Science (OCR), A* in Mathematics (Edexcel), and A* in Further
Mathematics (Edexcel).
-
Jun 2025 – Present
Course in Mastery of Cybersecurity Techniques and Practices
Remote
Offensive and defensive security across the modern threat landscape, in preparation for
CompTIA Security+ and CompTIA Network+.
-
2023 – 2025
GCSEs
Manchester, England
9 in Mathematics and Arabic; 8 in Computer Science; 7 in French and Drama; 6 across
Further Mathematics, English Literature, English Language, Biology, Chemistry, and Physics.
Certifications
- CompTIA Security+ (in preparation)
- CompTIA Network+ (in preparation)
Languages
- Rust
- C
- Python
- Java
- Kotlin
- TypeScript
- JavaScript
- Lua
- Bash
- x86 assembly
Frameworks
- Astro + Svelte
- Vite
- ratatui (TUI)
- egui / eframe (GUI)
- serenity + poise (Discord)
- axum + sea-orm (web API)
- tokio (async runtime)
- Spigot / Paper API
- nom (parsers)
Libraries & Tooling
- crossterm
- sqlx / rusqlite
- serde / serde_json
- nalgebra / num-rational
- rodio
- ash (Vulkan)
- KaTeX / d3-scale
- wasm32 / WebAssembly
Platforms
- Linux (Arch · Debian · Fedora)
- Windows 7 / 10 / 11
- QEMU (ARM · x86_64)
- CUDA driver API + PTX
- WebAssembly
Skills
- Systems, kernel, and embedded development
- Exact arithmetic and deterministic simulation
- Low-level debugging and optimisation
- WebAssembly and browser interfaces
- Technical writing and research
- Community moderation and operations
Off the clock
- Competitive Minecraft 1.8.9 PvP
- Moderating Voxyl Network
- Chess and competitive problem solving
- Kickboxing and fitness
- Reading other people's commit history