I'm june, a PhD student advised by Marco Gaboardi and working with Ankush Das at Boston University. I plan to graduate December 2026, and am currently looking for employment after graduation. My PhD has been focused on programming languages and type systems, applied to:

• event driven systems
• reactive programs
• web development
• concurrency/highly multithreaded programs

want to get in contact? my email is june@junewunder.com and I am on mathstodon.xyz

During my PhD I designed Willow, a type system for functional reactive programming that provides guarantees on temporal behavior. Willow captures the chain of events that may be caused by a state change or event firing.

In addition I also worked with Stefan Muller on GML, a language that can find common runtime-bugs in highly multithreaded programs.