Visiting Researcher Violet Ka I Pun Concludes Successful Stay at ISP

After a highly productive three-month visit, Violet Ka I Pun from Bergen has completed her research stay at the Institute for Software Engineering and Programming Languages (ISP) at the University of Lübeck.
During her time at ISP, Violet worked on core aspects of her CrowFlow project, with a particular focus on designing and refining type systems to ensure confidentiality in data-driven workflows. Her research explored how programming language techniques—especially type-based information flow control—can guarantee that sensitive data is only accessible to authorized components, preventing unintended leakage across system boundaries. Such approaches are widely recognized as a powerful method for enforcing confidentiality properties directly at the language level, enabling formal guarantees about secure data handling.
Her collaboration with ISP researchers centered on integrating these concepts into practical programming models, contributing to the broader goal of building reliable and privacy-preserving software systems. Beyond her technical contributions, Violet actively engaged with the institute through discussions and collaborative sessions, enriching the academic exchange within the group.
The ISP team sincerely thanks Violet for her contributions and inspiring collaboration.