Sydney, New South Wales, Australia
Full-stack software engineer focused on AI and LLM applications in Python, JVM backends, and TypeScript frontends, with interests in compilers, algorithms, and formal methods. I enjoy building reliable APIs, visual tooling, and language infrastructure. Outside of software, I enjoy hiking, piano, and 3D animation
• Maintained and enhanced existing backend REST APIs. • Developed and maintained mobile REST APIs in Java/Kotlin with Spring. • Migrated Java APIs to Kotlin to improve maintainability and readability. • Implemented new Angular pages and components with cross-device responsiveness. • Migrated legacy Knockout/HTML/JS pages and renderers to modern Angular.
• Built a formal specification language with expression evaluation, type definitions, variable/object handling, subprocess management, grammar implementation, and AST generation/manipulation. • Implemented a grammar-based natural-language system to create propositional logic. • Integrated backend version-control features for a web IDE using JGit and Vert.x. • Delivered complex React components, including a visualization tool for version-control histories. • Managed WebSocket APIs for real-time client–server communication.
• Translated concepts from an academic paper into a working prototype. • Implemented formal syntax and semantics of a research-defined language in Racket/Redex leveraging temporal logic for program verification. • Gained hands-on experience with formal methods, verification, and secure system design.