Mohammed Vepari

// PRINCIPAL_SYSTEMS_ENGINEER

[Archetype: Systems Architect]

I build formally verified infrastructure for the agentic era. Currently focusing on eBPF-based kernel safety and carbon-aware orchestration.

View Whitepaper

// LIVE_SYS_TELEMETRY: Sentinel_Node_01

[0.0001] eBPF_PROBE_LOADED: syscall_intercept_enabled

[0.0004] MEM_ALLOC: verifying_segment_0xFF4E2

[0.0009] VERIFICATION_PASSED: invariant_check_success

[0.0010] HEARTBEAT: sentinel_node_stable

About Me

I am a passionate and driven Software Engineer with a knack for creating innovative and efficient solutions. My expertise lies in full-stack development, with a strong focus on building scalable and user-friendly web applications. I am always eager to learn new technologies and take on challenging projects.

Academic_Foundation

Algoma University

Honours Bachelor of Computer Science

Jan 2024 - June 2026

GPA: 86%

// Graduating with Honours

George Brown College

Computer Programming and Analysis

Jan 2022 - Aug 2023

GPA: 3.72/4.0

// Graduating with Honours

Architectural Impact

Oct 2016 - Present

Fulfillment Associate (Logistics & Operations)

Amazon YYZ3

- Operating within one of Canada's highest-volume fulfillment centers, ensuring zero-defect processing in high-velocity sortation and delivery systems.

- Optimized internal warehouse workflows for Sortation and Stowage, contributing to site-wide throughput efficiency during peak logistical events.

- Mastery of proprietary Warehouse Management Systems (WMS) to track, sort, and reconcile complex inventory state transitions in real-time.

Project_Vault

12ms Cold-Start | eBPF Sandboxed

Project Sentinel: Agentic Orchestration

An AI-native PaaS using eBPF to safely provision resources for autonomous agents.

Status: Formally Verified · TLA+ Specification for Raft Consensus

RusteBPFWASMNext.js

Verified Invariants | Zero-Copy

moveYSplash: Verified Bridge

Formally verified asset bridge built in Move, ensuring 100% safety against resource leaks.

Status: Formally Verified · Lean 4 Proof of Resource Conservation

MoveSuiRustLean 4

40% CO2 Reduction | Real-time Grid Sync

Helios: Carbon-Aware Scheduler

Spatio-temporal Kubernetes scheduler shifting workloads based on real-time grid carbon intensity.

Status: Formally Verified · Safety proof for temporal scheduling windows

GoKubernetesPrometheus

Tamper-Evident | 1.3M Events/Min

AuditTrace: Compliance-as-Code

Immutable audit logging for sensitive system calls using eBPF probes and append-only storage guarantees.

Status: Formally Verified · Append-only log integrity proof

eBPFRustLinuxCompliance

Technical Arsenal

Capability_Allocation_Map

Core Systems

Rust

Zero-cost safety for core runtimes.

CAP_LEVEL: HIGH_INTEGRITY

Distributed control planes and schedulers.

CAP_LEVEL: PRODUCTION_GRADE

Move

Resource safety in on-chain execution.

CAP_LEVEL: FORMALIZED

Observability

eBPF

Policy enforcement at syscall boundaries.

CAP_LEVEL: KERNEL_NATIVE

Prometheus

High-cardinality telemetry pipelines.

CAP_LEVEL: SIGNAL_RICH

Tracing

Cross-service causality graphs.

CAP_LEVEL: FULL_STACK

Mathematical Rigor

TLA+

Consensus and lease safety proofs.

CAP_LEVEL: MODEL_CHECKED

Lean 4

Machine-checked invariants.

CAP_LEVEL: PROOF_ASSISTED

Formal Methods

Safety properties baked into design.

CAP_LEVEL: INVARIANT_FIRST