Hi, I'm

Iana Lin

In the space between synapses and silicon,where algorithms dream and neurons compute,I map the territories of mind and machine.

// EECS @ UC Berkeley

// Neural networks, creative computation

// Building bridges between science and story

ianalin123@berkeley.edu

// move to interact

Python  ·PyTorch  ·React  ·Next.js  ·TypeScript  ·TailwindCSS  ·Node.js  ·Databricks  ·OpenAI API  ·Drizzle  ·Z3 Theorem Prover  ·NEST Simulator  ·Verilog  ·C++  ·Git  ·Python  ·PyTorch  ·React  ·Next.js  ·TypeScript  ·TailwindCSS  ·Node.js  ·Databricks  ·OpenAI API  ·Drizzle  ·Z3 Theorem Prover  ·NEST Simulator  ·Verilog  ·C++  ·Git  ·

Projects

Things I've built

Full-stack applications, ML systems, and computational tools.

Sep 2025

Rippling ML Engineer

AI-powered expense approval system with 90% accuracy and $0.10/evaluation cost.

OpenAIDatabricksPythonML Engineering

Aug 2025

Brain-Powered Spotify

BCI prototype using Emotiv EEG to control Spotify playback and cursor in real time.

BCIEEGPythonAccessibility

Jan–May 2025

ML for Neural Data Classification

Benchmarked SVMs, CNNs, decision trees on neural datasets with PCA and hyperparameter tuning.

SVMCNNPyTorchscikit-learn

Jan 2025

Spiking Neural Networks

NEST Simulator implementation of LIF neuron models with synaptic connectivity visualization.

NESTPythonComputational Neuroscience

Jun–Nov 2024

Formal Arithmetic Realizations

Formal models of floating-point arithmetic for matrix accelerators using Z3; published at ISC 2024.

Z3Formal MethodsSMTC++

Jan–Jun 2024

Spatial Transcriptomics

Deep CNN for 3D segmentation of 30GB+ spatial transcriptomics datasets with state-of-the-art performance.

PyTorchDeep LearningBioimage Analysis