SA
Soroush Aghajani Software Engineer
Contact

Runtime tooling • JVM internals • High-ownership work

Building software you can trace, trust, and ship.

I’m a software engineer focused on bytecode engineering, async execution, and tools that make complex systems observable. I like small teams, clear causality, and problems near the edge of what existing tools can explain.

View projects Ask about me
Bay Area, CA Open to roles Full-stack • Runtime
Soroush

Snapshot

Software Engineer

University of Massachusetts Boston

JVM OCaml Java Python Meta-Programming

About

What I’m focused on

Runtime complexity into structure, with a bias for clarity and correctness.

Experience

Professional track record

Runtime tooling, backend platforms, and research-driven engineering.

2024 – 2025 · Remote

Software Engineer · Manycore

JVM
  • One of two engineers building a custom JVM and runtime tooling.
  • Bytecode-level instrumentation for invokedynamic, MethodHandles, lambdas, and hidden classes.
  • Java agents capturing dynamically generated classes with correctness guarantees.

2021 – 2022 · Massachusetts

Software Engineer · Pliant.io

Backend
  • Built backend services and automation tooling for cloud HR/workforce management.
  • Node.js utilities for data transformation and internal Retool apps for instance/workflow ops.
  • Partnered with product/ops to improve reliability and operational efficiency.

2023 · Boston, MA

Research Intern · UMass Boston

PL
  • OCaml parser and translator to NFAs with graph visualization for research demos.
  • Focused on recursion, algebraic data types, and formal models of computation.

2020 · Massachusetts

Software Engineer Intern · Cool Green Power

IoT
  • Java Spring Boot REST APIs for COOLNOMIX compressor controllers.
  • Device control, scheduling, logging, and sensor data integrations.
  • Android prototype enabling two-way device communication with hardware teams.

2024 – Present · Massachusetts

Instructor · CodeAdvantage

Teaching
  • Teach robotics and programming using Python and Lego Spike.
  • Designed curricula to build problem-solving, debugging, and technical confidence.

Professional projects

Selected work

Runtime

Dynamic Runtime Instrumentation

Bytecode-level instrumentation and runtime analysis of dynamic Java execution, focused on invokedynamic, MethodHandles, lambdas, and runtime-generated classes, with emphasis on correctness and observability.

AI

LLM-assisted Javadoc Automation

LLM-assisted tooling that generates and updates Java Javadocs as part of a CI pipeline, reducing documentation drift and manual effort.

Projects

Recent builds

Hands-on from OCaml tooling to interactive sims and distributed gameplay.

Personal

Turing Machine Simulator

Interactive React-based simulator for designing and executing Turing machine languages with live tape visualization.

  • Dynamic state-transition editor and reusable configs.
  • Custom tape input plus step-by-step execution view.
School

NFA Generator

OCaml parser and translator that turns a simple language into a non-deterministic finite automaton.

  • Graph visualization of generated automata.
  • Recursive, variant-type heavy implementation for efficiency.
  • Extended into a TFPIE 2024 workshop publication on imperative calculi for regular languages.
School

Maxima Translator

Code generator that converts parsed input into Maxima code, executes it, and surfaces the output.

  • AST powered by OCaml variant types.
  • Automated execution loop with captured results.
School

Banking IoT Simulation

Flutter/Dart IoT project simulating banking transactions with stakeholder-driven requirements.

  • Coordinated team delivery, debugging, and QA.
  • Realistic transaction flows and validation.
School

Multiplayer Chess

JavaFX chess platform with networked multiplayer and MySQL-backed player and match data.

  • Game-state handling for checks, mates, and pinned pieces.
  • Unit-tested core logic and UI interactions.

Publications

Sharing the research

Follow-on work from the NFA Generator project into programming language theory.

TFPIE 2024 · Workshop

RegularIMP: An Imperative Calculus to Describe Regular Languages

PL Research

Research on programming language design for modeling regular languages using an imperative calculus, bridging automata theory and practical language semantics.

Co-authored with Emma Kelminson Tiago Cogumbreiro Continuation of NFA Generator

Hobbies

Where I recharge

Strategic thinking and pattern-spotting outside of work.

♟

Chess

Find me on chess.com as soshiagh. Always up for a rapid game.

AI Assistance

Ask questions about Soroush

An AI assistant answering questions about my background, work, and projects.