Selected Projects
💡More forthcoming! Please refer to the Publications page and CV for the most up-to-date info on my research. 🌟
Advancing the Usability of Temporal Stream Logic (TSL)
Temporal Stream Logic (TSL) is a high-level logical specification language that describes the behavior of a reactive system over time. TSL can be synthesized into high-level code such as JavaScript and Python. TSL is very powerful in specifying complex programs but writing TSL is hard.
To advance the usability of TSL, we developed interface designs including a structured editor with drop-down menus, a VSCode extension, and a Blockly editor. We piloted user studies and documented common challenges in writing TSL and proposed tools and strategies. We proposed a LLM pipeline for formal logic engineering.
Assessing the Robustness of Electronic Health Records (EHRs)
Systems are built under the environment assumption that users will interact with the system by following expected workflow steps. However, the actual environment may deviate. Users may make mistakes, which can lead to unexpected dangerous system behaviors.
To assess the robustness of EHRs, I conducted a usability study of an open-source EHR based on NIST-established guidelines on good design of EHRs. I identified 40 issues and organized the findings and proposed mitigation strategies for improving the EHR’s design. I also developed an automated tool Deviated Workflow Generator capable of generating erroneous workflows given the original correct workflow, the user specified type of erroneous behavior, and the level of erroneous actions. This tool can also automatically test EHRs' behavior based on the input workflow.
