Contributed to a project integrating FPP (F Prime Prime) and Proteus into a unified compiler. FPP is a modeling language for the F Prime flight software framework, and Proteus enables the creation of actor-based hierarchical state machines.
ScalaCompiler DesignF PrimeFPPState Machines