Gdstk.jl Julia GDSII/OASIS Layout Engine
A Julia wrapper for the gdstk C++ library, providing a fast, full-featured GDSII and OASIS layout engine for chip design and nanofabrication mask …

Builder, Researcher, EECS Engineer, Computer Engineering, HPC, Quantum Computing and Nanofabrication.
Press ⌘K (or CtrlK) to jump anywhere on the site.
RISC-V architecture, SystemVerilog RTL, HLS compiler design, CV-X-IF coprocessor interfaces, FPGA workflows
Julia, C/C++, Rust — compiler toolchains, LLVM IR, low-level memory management, and performance-critical code
Cleanroom process experience at Alice & Bob — cat-qubit device fabrication, lithography, wafer inspection tooling
Physics simulation engines, quantum mechanics solvers (split-operator, DFG scheduling), numerical methods
Functional analysis, spectral theory, quantum mechanics, computational physics, and applied probability
Full-stack tooling, app development (Flutter, Go), REST APIs, data pipelines, and algorithmic trading systems
A Julia wrapper for the gdstk C++ library, providing a fast, full-featured GDSII and OASIS layout engine for chip design and nanofabrication mask …
Research paper and simulation framework exploring memristor device physics, resistive switching, crossbar architectures, and scalable IR-drop-aware …
An open-source Hardware/Software Co-Design framework and High-Level Synthesis compiler. Write algorithms in Julia, get RISC-V hardware accelerators. …
A physics engine focusing on robust quantum mechanics and astronomy simulations, featuring an enhanced UI.
Internship at Alice & Bob, a Paris-based quantum computing startup working on cat-qubit hardware. Nanofabrication in a cleanroom environment and …
Walking through the steps of building a simulation of a superconducting airbridge, from 3D scanning the physical object to extracting S-parameters, …
This post is a deep dive into the specific engineering choices I made while designing the HWExplore processor, focusing on the memory system that …
A dive into the theory of modular arithmetic optimizations, specifically the Barrett and Montgomery algorithms.
This post introduces hyperdimensional computing, explains why its primitive operations make it an interesting target for custom hardware, and walks …
In this post, I derive the rigorous definition of the Hamiltonian. I will demonstrate how we handle the domain issues of unbounded operators and how …