Experience - Htet Myat Aung

Research Assistant

DICE Lab, Royal Holloway - Dr. Agnieszka Mensfelt

Mar 2026 - Present

Research

Eliminated 100% of citation-rendering failures by rewriting the BibTeX parser for a neurosymbolic AI research platform tracking 200+ papers.
Delivered 4 production-ready PRs in 2 weeks as sole student contributor, zero regressions in a six-person research codebase.
Authored onboarding and runbook documentation for six researchers, reducing handoff friction in weekly reviews.
Contributing to autoformalization paper catalogue (GAMA/LELMA) and the TypeScript research website.

TypeScript BibTeX Git/GitHub Neurosymbolic AI Website

Autoformalization Research Website

Undergraduate Researcher

DICE Lab, Royal Holloway - Dr. Kostas Stathis

2026 - Present

Research

Building agents that autonomously construct interpretable symbolic world models through interaction in VacuumWorld, a Python-based multi-agent simulation.
Applying LLM-based autoformalization to convert raw observations into structured formal logical representations and transition models.
Investigating whether learned world models improve agent reasoning and decision-making performance.

Python VacuumWorld LLMs Formal Methods Autoformalization

Student Representative

BSc Computer Science (AI), Royal Holloway

Jan 2026 - Present

Leadership

Elected cohort rep for 27 students.
Secured a flexible timetable and clearer professor communication by escalating curriculum concerns to department leadership.

Advocacy Communication

Technology Officer

Neuroscience Society, Royal Holloway

Mar 2026 - Present

Tech

Automated attendee confirmation workflows for 3 hands-on neuroscience demonstration events (30+ attendees each) using Microsoft Power Automate.
Cut approximately 3 hours of manual admin per event.
Co-ordinated physical equipment setup on the day.

Power Automate Event Management

Early Engineer

SharperLogs

Jan 2026 - Present

Tech

Software Development Machine Learning