← portfolio
02

about

field notes
  1. a.

    Experienced in working in R&D, from formal verification & software safety to frontier work in Biophysical Brain Emulation.

  2. b.

    Passionate in mixing programming with Math & Natural Sciences, for educational & professional purposes.

  3. c.

    Love everything Tech & Gadgets. Like to repurpose old electronics for my personal curiosity.

  4. d.

    Aim to be a through learning & collaborating.

toolbox

résumé ↗
Languages TypeScriptPythonGoRustLeanC#RocqRubyBashR
Frontend ReactSvelteAstroNext.jsShadcnVite
Backend ExpressDjangoFlaskFastAPI
Data PostgresMySQLSQLiteRedisMongoDB
ML & AI PyTorchTensorFlowscikit-learnHugging FaceLangChainLangGraph
Testing CypressPlaywright
Infrastructure DockerTerraformAnsibleNginxProxmoxWireGuardPrometheusGrafanaGitHub ActionsGoogle Cloud Platform
AWS AWSAWS ECS FargateAWS ECRAWS ALBAWS API GatewayAWS S3AWS IAMAWS Secrets ManagerAWS CloudWatch
Typesetting LaTeXTypst
Tools MarkdownGitGitHubGitlabBun.jscurlNeovimObsidianClaudeCursorCopilot
06

experience

work ledger
  1. Gitlab - CodePath ↗

    Gitlab Community-Edition Open-Source Contributor

    Currently volunteering and being mentored by Gitlab and CodePath experienced Developers to help contribute to the open-source codebase of Gitlab Community-Edition. Working on the Gitlab Community-Edition's documentation, and contributing to the Gitlab Community-Edition's codebase.

    GitLab ↗CodePath ↗Ruby ↗Git ↗Golang ↗Ansible ↗Terraform ↗CI/CD & Production Testing PipelinesLLMs
  2. Carboncopies ↗

    Complex Systems Research Engineer

    Working as a Research Engineer at Carboncopies Foundation, San Francisco, CA. Jumping around Departments to help with simulation, data, software, and platform development & support. Researching on current Computational Neuroscience work and papers. Emulating biophysical brain neurons and networks of neurons and building Pipelines for analyzing the simulation data. Presenting and discussing research findings with the teams in weekly stand-ups.

    BrainGenix ↗Python ↗GitLab ↗Proxmox ↗ResearchNeuromatch ↗
  3. University of Dayton ↗

    Research Assistant & Teaching Assistant

    Acquired funding for research and received full tuition-assistantship for my Masters as a Graduate Research Assistant for Reliable Autonomous Lab at the University of Dayton. Developed Formal Verification Frameworks in Rocq Proof Assistant for verifying simulated Softwares. Co-authored a Research Paper published to KSE2024 on reducing model bias with Reinforcement Learning with white-noise injections. Instructed and guided graduate & undergraduate students for Intro to Computer Science, Safety & Security, Formal Verification as a Teaching Assistant. Project Mentor for an infrastructure collision detection research project leveraging Nivida's Jetson Nano with CUDA and Python.

    Rocq Proof Assistant ↗NVIDIA & CUDA ↗TypeScript & Web Assembly ↗NuSMV ↗MatLab - SimuLink ↗Golang ↗Python ↗PyTorch ↗GitHub ↗
  4. Augustana College ↗

    Research Assistant & Peer Tutor

    Participated in the college's funded Independent Research (Beling Scholar) during the Summer. Presented research at Illinois' Chapter of Mathematics Association of America (MAA) on the derivation and estimation of the elliptic integral of a swinging pendulum. Worked part-time as a Peer Tutor for the department of Computer Science & Mathematics. Provided 1-on-1 study sessions for students in Data Structures & Algorithms, Intro to Statistics, Math Modelling, Differential Equations, Discrete Math, & Calculus 1-3. Drop-in tutor for Computer Science & Mathematics for over 300+ students over 3 years. Worked as an IT Help Desk Technician for the college's IT Department.

    ResearchTutoringStudentsPresentation
07

education

academic record

  1. Master of Computer Science

    University of Dayton, Dayton, OH ↗
    • — Systems Programming
    • — Safety & Security
    • — Artificial Intelligence
    • — Database Design
    • — Software Development
    • — Automata Theory
    • — Algorithm Design & Analysis
    • — Operating Systems
    • — Formal Verification Methods
    • — Funded Research and Thesis

  2. Bachelor of Science in Computer Science & Applied Mathematics (Dual Degree)

    Augustana College ↗
    • — Linear Algebra
    • — Calculus I–III
    • — Discrete Mathematics
    • — Advanced Statistics
    • — Numerical Analysis
    • — Partial Differential Equations
    • — Mathematical Modelling
    • — Differential Equations
    • — Funded Independent Research (Beling Scholar)
    • — Machine Learning
    • — Artificial Intelligence
    • — Advanced Algorithms & Data Structures
    • — Software Development
    • — Computer Systems
    • — Web Programming
    • — Competitive Programming (4/100 in Illinois Regional ACM-ICPC)
    • — MAA, CS & Math Honor Societies, GDSC Event Chair