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

  1. 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
    • UX
    • Product
    • Rail
    • Compliance
  2. 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
    • Cybersecurity
    • AI
    • Presentation
    • Work Experience
  3. 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
    • Research
    • AI
    • LLM Security
    • Technical Writing
  4. 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
    • Cisco
    • Teamwork
    • Presentation
  5. 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
    • Diagnostics
    • Repair
    • Customer Service

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.

Plasma

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.

  • Rust
  • Quantum
  • Simulation
  • Deterministic
2026

planckOS

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.

  • Rust
  • Assembly
  • Kernel
  • FAT32
  • SMP
2026

NumCore

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.

  • Rust
  • no_std
  • Cortex-M3
  • Fixed-Point
2025

Tungsten

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.

  • Rust
  • Mathematics
  • Symbolic Algebra
  • WIP
2026

μT

A terminal-based LaTeX editor with Micro-like editing, asynchronous pdflatex compilation, Zathura preview, and syntax highlighting.

  • Rust
  • LaTeX
  • CLI
  • Editor
2026

Probability

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.

  • Java
  • Statistics
  • Anti-Cheat
2026

Wizzy SMP

Led development of a cross-platform Minecraft server supporting Java, Bedrock, and console editions, with backend systems, infrastructure, and moderation in production.

  • Java
  • PaperSpigot
  • DevOps
  • Community
2024

kitaab

A terminal Qur'an reader and player written in Rust, with chapter navigation, recitation playback, and a keyboard-driven interface built around ratatui.

  • Rust
  • ratatui
  • CLI
  • Audio
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

07Contact

Low-level systems, mathematics, or a project that should not work but does. Happy to talk.