Gabriel Windlin

Software Engineer & CS Student · Zürich, Switzerland

Education

ZHAW 2026 – Expected: 2029

Bachelor of Science in Computer Science · Winterthur

  • Curriculum: Algorithms & Data Structures, Analysis, Discrete Mathematics, Systems.

Experience

Zurich UAS Racing Oct 2026 – Present

Driverless Software Engineer · Winterthur

  • Developing the communication bridge between the Driverless Control Unit (DCU) and the Vehicle Control Unit (VCU) enabling autonomous driving on the Formula Student race car.
  • Engineering real-time data translation across ROS, Zephyr RTOS, Cyphal, and CAN bus protocols between autonomous compute nodes and vehicle actuators.
Tokio May 2026 – Present

Backend Engineer & Co-Founder · Zürich

  • Architected a low-latency GraphQL service in Rust (Axum, async-graphql, SQLx/PostgreSQL), implementing rate-limiting, tiered workspace auth, and deterministic validation pipelines.
  • Built a document-ingestion and semantic retrieval pipeline that parses unstructured brand guidelines into structured, queryable rule graphs.
  • Engineered a real-time compliance evaluation engine combining embedding-based retrieval with strict constraint checks, ensuring generative AI models operate within verified bounds at sub-second speeds.
Belimo Automation AG Mar 2026 – Present

Software Developer · Hinwil

  • Building an internal engineering platform unifying engineering tools via a FastAPI backend, reusable Python toolkits, and a Next.js frontend with background worker job queues.
  • Implemented a tiered, fail-closed authorization system with dynamic YAML configuration reloading.
  • Provisioned and maintained dedicated Linux virtual machines (Ubuntu, systemd), setting up automated CI/CD deployment pipelines, system service supervision, and monitoring.
VIS ETHZ Oct 2025 – Feb 2026

Computer Infrastructure Team Member · Zürich

  • Administered on-premise bare-metal student server infrastructure, maintaining hardware, system health, and secure network access.
  • Configured Kubernetes deployments for self-hosted association services; authored production manifests for collaborative scheduling tool Rallly that were subsequently contributed and merged into upstream.

Projects

epoch Rust, Ratatui, Linux
  • Fast keyboard-centric terminal UI in Rust for Timeshift snapshot administration, live logging, and system restores.
revu Rust, Ratatui, Git
  • Terminal diff review tool for AI agent changes, tracking call-site impacts and exporting structured review feedback.
lore Go, Bubble Tea, Git
  • Interactive terminal interface for structuring, diffing, and submitting Git patch series via git-send-email.
Homelab: Proxmox + k3s Cluster Proxmox, Kubernetes, Rocky Linux, IaC
  • Self-hosted 3-node k3s cluster on Proxmox VE with Traefik ingress, local-path storage, and automated deployment runbooks.
TCP Port Scanner C, POSIX Sockets, Non-blocking I/O
  • High-performance single-file TCP port scanner in C using non-blocking I/O and select() for accurate connection state detection.
SEC-SUITE: Security Toolkit Python, Multi-threading, Security
  • Multi-threaded security CLI toolkit with Markov-chain password generation, dictionary attacks, and modern hash support.
Packet Sniffer C, Raw Sockets, pcap
  • Raw-socket packet sniffer capturing TCP/DNS network traffic directly to Wireshark-compatible pcap files.
Kiroku-TUI Rust, Ratatui, Git Integration
  • Terminal journaling tool in Rust featuring keyboard navigation, fuzzy search, markdown support, and Git synchronization.
Neural Network in C C, Linear Algebra, Machine Learning
  • Modular neural network in pure C implementing forward passes, backpropagation, and gradient verification without external libraries.

Skills

Languages Rust, C, Go, Python, TypeScript, JavaScript, SQL, Bash, Java
Infrastructure & Tools Linux, Docker, Kubernetes (k3s), Proxmox, Git, Supabase, Caddy, CrowdSec, systemd
Libraries/Frameworks Spring Boot, FastAPI, Axum, async-graphql, Next.js, React, Ratatui, PostgreSQL, SQLx, Redis, Tailwind CSS

Certifications

CompTIA Security+ (SY0-701) issued Apr 2026, valid through Apr 2029
Cisco CCNA in progress, expected Feb 2027
TCM Security PJPT in progress, expected Dec 2026