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.

AI Assistance

Ask questions about Soroush

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

AI

Soroush Assistant

Online now

Assistant

Ask about experience, projects, research, or what kind of work Soroush is looking for.

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.