M.S. Computer Science @ Embry-Riddle · Open to SWE roles

CARMEN LUCCA
DIMARIO

I work at both ends of the stack. At the low level, that means compiler toolchains and ROS2 autonomy running on embedded hardware. Higher up, it means iOS apps, Go blockchains, and web platforms.

See the workDownload résuméGitHub
Selected Work

Things I've built

A post-quantum blockchain, an AI checkride examiner, and the middleware flying a drone. Each one was shipped, tested, or published.

Systems / Cryptography/2026

Dilithium

Post-quantum cryptocurrency, written from scratch in Go

A peer-to-peer proof-of-work blockchain that is quantum-safe from block zero. Every transaction is signed with CRYSTALS-Dilithium Mode3, the NIST FIPS 204 standard, so there is no migration to make when quantum computers arrive. Node, wallet CLI, and CPU/GPU miner all built from first principles.

  • NIST Level 3 (192-bit) quantum-safe signatures via CRYSTALS-Dilithium Mode3
  • Competitive PoW mining across a live P2P network with automatic block and transaction sync
  • REST API, UPnP port forwarding, and cross-platform builds for Linux, macOS, and Windows
GoCRYSTALS-DilithiumCloudflare CIRCLP2PSHA-256
dilithiumcoin.com↗Source↗
iOS / Applied AI/2025 — present

PFactor

AI oral-exam simulator for FAA checkride prep

Student pilots practice their checkride oral exam by actually talking to an adaptive AI examiner. It asks follow-ups on weak answers, scores each response the way a real DPE would, and delivers per-category debriefs. No typing, no multiple choice.

  • Adaptive examiner engine scores responses 1–5, generates targeted follow-ups, and mirrors real DPE behavior
  • ACS-aligned question banks covering 6 FAA certificates
  • Serverless Convex backend handling Sign in with Apple, StoreKit 2 subscriptions, and graceful offline degradation to local scoring
SwiftSwiftUIConvexStoreKit 2LLM APIsNext.js
pfactor.app↗
Robotics / Embedded/2024 — 2026

AIRHOUND

Vision-based UAV target tracking, middleware lead

Built the middleware that turns a camera feed into flight commands. A modular three-node ROS2 pipeline converts YOLOv8 detections into yaw commands via pinhole camera intrinsics and publishes them to a PX4 flight controller over Micro XRCE-DDS. Work published in Beyond: Undergraduate Research Journal.

  • Optimized YOLOv8 with NVIDIA TensorRT for real-time inference on a Jetson Orin
  • Validated the full software stack in a 600-second SITL test at 30 Hz throughput across every pipeline stage
  • Designed the detection-to-actuation contract so perception and control teams could iterate independently
C++ROS2YOLOv8TensorRTPX4Jetson OrinMicro XRCE-DDS
Paper↗Source↗

Also built

Robotics/2025 — 2026

RoboRacer

Software lead, competition autonomy stack

Assembled and tuned the RoboRacer platform from bare components, mounting compute, sensors, and motor controller into a competition-ready vehicle, then installed and configured the full ROS2 stack on the onboard computer.

  • Deployed an end-to-end autonomy stack from sensor input through planning to actuation
  • Validated reliable performance under real competition conditions
ROS2PythonC++SLAMEmbedded Linux
Machine Learning/2026

SiT Trajectory Prediction

Pedestrian forecasting from LiDAR on an HPC cluster

Pedestrian trajectory prediction on the SiT dataset, fusing LiDAR point-cloud features with kinematic and ego-motion signals. Trains Decision Tree, XGBoost, and a Social Transformer, benchmarked by ADE/FDE.

  • 45-feature pipeline: 34 kinematic, 4 ego-motion, and 7 LiDAR-derived features
  • Reproducible PBS/Torque job scripts targeting ERAU's Vega cluster, with a Colab GPU path
PythonPyTorchXGBoostLiDAR / PCDPBS/Torque
Source↗
Systems / TUI/2026

amuse

Terminal player for Amazon Music

Amazon deprecated its desktop app and DRM'd the streams, so amuse wraps the browser tab instead: OS-native media session control (Windows SMTC, Linux MPRIS), a live FFT spectrum visualizer driven by system audio loopback, and album art rendered as true-color ANSI half-blocks.

  • WASAPI and PulseAudio/PipeWire loopback capture feeding a real-time FFT visualizer
  • Per-process volume control through the Windows mixer via pycaw; native MPRIS volume on Linux
  • No scraping and no unofficial APIs; it drives the same interfaces your media keys do
PythonWASAPIMPRIS / D-BusFFTTextual
Source↗
BMG Aviation screenshot
Freelance/2025

BMG Aviation

Aviation services client site

Marketing site designed and shipped end to end for an aviation services company, built for speed and search visibility.

Next.jsTypeScriptTailwind
Live site↗
Pocopson Vet Station screenshot
Freelance/2026

Pocopson Vet Station

Veterinary practice client site

Full redesign and build for a veterinary practice, from information architecture through deployment.

Next.jsTypeScriptTailwind
Live site↗
Experience

Where I've worked

Embedded Software Development Intern

Garmin

May 2026 — August 2026

  • Implemented Clang compiler support as a replacement for legacy ARMcc toolchains
  • Extended embedded library support to 64-bit architectures, resolving data type alignment and pointer-width issues to broaden platform compatibility
  • Developed a system test suite for a proprietary avionics communication interface, validating real-time engine metric transmission and protocol correctness under embedded constraints
CC++ClangARMccGNU ASMAvionics protocols

RISE Intern / CO-OP Participant

JRC Integrated Systems

June 2025 — May 2026

  • Integrated the PETSc linear algebra library into the Accuro application, reducing complex computation time
  • Analyzed an advanced C/C++ codebase to identify differences in Linear Energy Transfer (LET) calculations through various substrates
  • Redesigned and improved the testing framework for the entire Accuro software suite, increasing reliability
CC++PETScNumerical methodsTest infrastructure

Full Stack Development Intern

ivDash

May 2024 — August 2024

  • Led development of an admin dashboard consolidating functionality for doctors, nurses, and product providers across a digitalized healthcare distribution platform
  • Built interactive web interfaces in Next.js against an existing Symfony PHP backend
  • Streamlined Auth0 JWT authentication to work across both the Symfony PHP and Next.js applications
Next.jsTypeScriptSymfonyPHPAuth0 / JWT
About

Background

Finishing a B.S. and M.S. in Computer Science at Embry-Riddle while running Division II cross-country. Two peer-reviewed publications, an FAA Part 107 certificate, and a habit of building the thing rather than reading about it.

Languages

CC++SwiftGNU ASMRustTypeScriptJavaScriptGoJavaPythonSQLBash

Embedded & Robotics

ROS2PX4STM32Jetson OrinClangARMccTensorRTUNIX

Web & Mobile

ReactNext.jsSwiftUIConvexSymfonyLaravelTailwind

Practice

AgileScrumTest infrastructureTechnical writing

Publications

DiMario, C., Bacha, R., & Butka, B. "Combatting Senior Scams Using a Large Language Model-Created Rubric."

ASSE '24, ACM, 2024 ↗

Malarchick, R. et al. (incl. DiMario, C.) "Robust Real-Time UAV Target Tracking with Onboard Vision-Based Yaw Control."

Beyond: Undergraduate Research Journal, Vol. 9, 2025 ↗

Education

M.S. Computer Science

Embry-Riddle Aeronautical University

Expected May 2027

B.S. Computer Science

Embry-Riddle Aeronautical University

May 2026

Beyond the keyboard

  • ERAU Cyber Rodeo 2026: first place, individual
  • ERAU Division II Cross-Country / Track, roughly 30 hours of training weekly
  • FAA Part 107 Remote Pilot Certification
Contact

Get in touch

Open to software engineering roles and internships in embedded, systems, or full-stack. The fastest way to reach me is email.

GitHub

@luccadimario ↗

Résumé · Embedded & Systems

Download PDF ↗

Firmware, compiler toolchains, and robotics autonomy.

Résumé · Software Engineering

Download PDF ↗

Systems, distributed infrastructure, and applied ML.

Résumé · Full-Stack & Web

Download PDF ↗

Product engineering across React, Next.js, and PHP backends.

Carmen Lucca DiMario | Software Engineer