• Created a web-based “microwave” demonstration using Java Spring Boot and Vaadin to visualize state changes and syntax examples of the TLA+ formal methods language
  • Implemented the complete application from design to delivery within two weeks
  • Demonstrated formal-methods concepts to students and faculty through the interactive demo